Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,781 workflow runs
1,781 workflow runs

Filter by Workflow

⌥ + click/return to exclude

Filter by Event

⌥ + click/return to exclude

Filter by Status

⌥ + click/return to exclude

Filter by Branch

⌥ + click/return to exclude

Filter by Actor

⌥ + click/return to exclude
Mathbox 5 through 9 are ordinal and natural numbers verifiers #12013: Pull request #5495 opened by BTernaryTau
2m 26s BTernaryTau:9o
BTernaryTau:9o
2m 26s
Fermat's Last Theorem - basic reductions, FLT for N=4 verifiers #12012: Pull request #5492 synchronize by avekens
2m 32s avekens:av-flt1
avekens:av-flt1
2m 32s
Mathbox global choice changes verifiers #12011: Pull request #5494 opened by BTernaryTau
3m 21s BTernaryTau:gblac
BTernaryTau:gblac
3m 21s
The rational and irrational numbers are disjoint in iset.mm verifiers #12010: Pull request #5493 opened by jkingdon
2m 33s jkingdon:rirrdisj
jkingdon:rirrdisj
2m 33s
Add group centralizer and center to iset.mm verifiers #12009: Pull request #5490 synchronize by jkingdon
2m 40s jkingdon:df-cntz
jkingdon:df-cntz
2m 40s
Fermat's Last Theorem - basic reductions, FLT for N=4 verifiers #12008: Pull request #5492 synchronize by avekens
2m 32s avekens:av-flt1
avekens:av-flt1
2m 32s
Fermat's Last Theorem - basic reductions, FLT for N=4 verifiers #12007: Pull request #5492 synchronize by avekens
2m 43s avekens:av-flt1
avekens:av-flt1
2m 43s
Reduce hf ax-reg and ax-inf2 dependencies verifiers #12006: Pull request #5491 opened by BTernaryTau
2m 38s BTernaryTau:hf
BTernaryTau:hf
2m 38s
Add group centralizer and center to iset.mm verifiers #12005: Pull request #5490 opened by jkingdon
4m 5s jkingdon:df-cntz
jkingdon:df-cntz
4m 5s
Intuitionize several polynomial (well, power series actually) multipl… verifiers #12004: Commit 2c1dffe pushed by jkingdon
2m 58s develop
develop
2m 58s
Add constructible set definitions to mathbox (#5477) verifiers #12003: Commit 12aed87 pushed by tirix
11s develop
develop
11s
Add constructible set definitions to mathbox verifiers #12002: Pull request #5477 synchronize by BTernaryTau
2m 50s BTernaryTau:construct-dfs
BTernaryTau:construct-dfs
2m 50s
Move theorems about hereditarily finite sets to main (#5476) verifiers #12001: Commit 67043dd pushed by avekens
9s develop
develop
9s
Move theorems about hereditarily finite sets to main verifiers #12000: Pull request #5476 synchronize by EricSchmidt-119
3m 9s EricSchmidt-119:move-hf
EricSchmidt-119:move-hf
3m 9s
Transformation of JM's mathbox, part 6 (addendum 2) (#5465) verifiers #11999: Commit 97a98f6 pushed by avekens
2m 30s develop
develop
2m 30s
Add constructible set definitions to mathbox verifiers #11998: Pull request #5477 synchronize by BTernaryTau
2m 39s BTernaryTau:construct-dfs
BTernaryTau:construct-dfs
2m 39s
Intuitionize several polynomial (well, power series actually) multiplication theorems verifiers #11997: Pull request #5489 opened by jkingdon
3m 7s jkingdon:psrmulr
jkingdon:psrmulr
3m 7s
Add Bertrand's postulate to iset.mm (#5486) verifiers #11996: Commit be4638a pushed by jkingdon
4m 42s develop
develop
4m 42s
Add Bertrand's postulate to iset.mm verifiers #11995: Pull request #5486 synchronize by jkingdon
2m 50s jkingdon:bposlem6
jkingdon:bposlem6
2m 50s
Rename mathbox labels (#5488) verifiers #11994: Commit 14e2c30 pushed by wlammen
2m 36s develop
develop
2m 36s
Add Bertrand's postulate to iset.mm verifiers #11993: Pull request #5486 synchronize by jkingdon
2m 55s jkingdon:bposlem6
jkingdon:bposlem6
2m 55s
Rename mathbox labels verifiers #11992: Pull request #5488 synchronize by zwang123
2m 48s zwang123:rename-mathbox-labels
zwang123:rename-mathbox-labels
2m 48s
extract onelfvnef1 and shorten mh-inf3f1 (#5480) verifiers #11991: Commit 8a2d43d pushed by wlammen
2m 39s develop
develop
2m 39s
Rename mathbox labels verifiers #11990: Pull request #5488 synchronize by zwang123
3m 43s zwang123:rename-mathbox-labels
zwang123:rename-mathbox-labels
3m 43s
Rename mathbox labels verifiers #11989: Pull request #5488 opened by zwang123
2m 48s zwang123:rename-mathbox-labels
zwang123:rename-mathbox-labels
2m 48s