Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,362 workflow runs
3,362 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

add the definition of transitive closure of a class verifiers #7889: Commit faca540 pushed by sctfn
October 17, 2024 18:39 2m 19s levy-trcl
levy-trcl
October 17, 2024 18:39 2m 19s
Well-founded recursion without infinity verifiers #7888: Pull request #4296 synchronize by sctfn
October 17, 2024 13:10 2m 17s wf-rec-without-infinity
wf-rec-without-infinity
October 17, 2024 13:10 2m 17s
reword df-frecs comment verifiers #7887: Commit 84d6125 pushed by sctfn
October 17, 2024 13:08 2m 36s wf-rec-without-infinity
wf-rec-without-infinity
October 17, 2024 13:08 2m 36s
Restructure part 9 verifiers #7886: Pull request #4298 opened by zwang123
October 17, 2024 05:59 2m 39s zwang123:restructure-part-9
zwang123:restructure-part-9
October 17, 2024 05:59 2m 39s
Isomorphic thin categories verifiers #7885: Pull request #4297 opened by zwang123
October 17, 2024 03:00 2m 22s zwang123:thincciso
zwang123:thincciso
October 17, 2024 03:00 2m 22s
Well-founded recursion without infinity verifiers #7884: Pull request #4296 synchronize by sctfn
October 16, 2024 22:45 2m 21s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 22:45 2m 21s
functionhood -> functionality and whitespace elimination verifiers #7883: Commit 3821b6a pushed by sctfn
October 16, 2024 22:43 2m 21s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 22:43 2m 21s
Thin categories, prosets as categories, and poset/toset/lattice (#4248) verifiers #7882: Commit 1987621 pushed by benjub
October 16, 2024 20:19 20s develop
develop
October 16, 2024 20:19 20s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7881: Pull request #4248 synchronize by benjub
October 16, 2024 20:16 2m 18s zwang123:thin-cat-3
zwang123:thin-cat-3
October 16, 2024 20:16 2m 18s
minor corrections to #4284 (#4295) verifiers #7880: Commit 756f7f0 pushed by benjub
October 16, 2024 19:50 2m 27s develop
develop
October 16, 2024 19:50 2m 27s
Shortenings using trpred; extract trom from ordom and further shorten… verifiers #7879: Commit 003b5fd pushed by benjub
October 16, 2024 19:49 3m 21s develop
develop
October 16, 2024 19:49 3m 21s
Well-founded recursion without infinity verifiers #7878: Pull request #4296 synchronize by sctfn
October 16, 2024 18:09 9m 38s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:09 9m 38s
note changes in changes-set.txt verifiers #7877: Commit 07d23ac pushed by sctfn
October 16, 2024 18:09 3m 26s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:09 3m 26s
Well-founded recursion without infinity verifiers #7876: Pull request #4296 synchronize by sctfn
October 16, 2024 18:05 6m 53s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:05 6m 53s
fix link verifiers #7875: Commit bd8e493 pushed by sctfn
October 16, 2024 18:05 7m 8s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:05 7m 8s
Well-founded recursion without infinity verifiers #7874: Pull request #4296 opened by sctfn
October 16, 2024 18:04 8m 4s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:04 8m 4s
move well-founded, partial order recursion to main verifiers #7873: Commit 1b727ba pushed by sctfn
October 16, 2024 18:02 12m 36s wf-rec-without-infinity
wf-rec-without-infinity
October 16, 2024 18:02 12m 36s
Founded partial induction (#4290) verifiers #7872: Commit d66ff3a pushed by sctfn
October 16, 2024 16:05 3m 3s develop
develop
October 16, 2024 16:05 3m 3s
reduce axiom footprint of eloprabga (#4293) verifiers #7871: Commit 875b88e pushed by wlammen
October 16, 2024 11:41 2m 10s develop
develop
October 16, 2024 11:41 2m 10s
Reduce ax-10, ax-11, ax-12 usage (#4292) verifiers #7870: Commit 8888a5b pushed by wlammen
October 16, 2024 11:40 2m 22s develop
develop
October 16, 2024 11:40 2m 22s
minor corrections to #4284 verifiers #7869: Pull request #4295 opened by wlammen
October 16, 2024 11:38 2m 27s wlammen:follow-up-4284
wlammen:follow-up-4284
October 16, 2024 11:38 2m 27s
Reduce ax-un usage (#4284) verifiers #7868: Commit 4c826c5 pushed by wlammen
October 16, 2024 11:19 2m 35s develop
develop
October 16, 2024 11:19 2m 35s
Reduce ax-10, ax-11, ax-12 usage verifiers #7867: Pull request #4292 synchronize by GinoGiotto
October 16, 2024 07:43 2m 38s GinoGiotto:PR_15
GinoGiotto:PR_15
October 16, 2024 07:43 2m 38s
Shortenings using trpred; extract trom from ordom and further shortenings. verifiers #7866: Pull request #4294 synchronize by benjub
October 16, 2024 00:00 4m 4s benjub:trom
benjub:trom
October 16, 2024 00:00 4m 4s
Shortenings using trpred; extract trom from ordom and further shortenings. verifiers #7865: Pull request #4294 opened by benjub
October 15, 2024 23:58 2m 20s benjub:trom
benjub:trom
October 15, 2024 23:58 2m 20s