Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,770 workflow runs
1,770 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
Add dfrn7 and rnr1 verifiers #12075: Pull request #5511 synchronize by benjub
2m 39s dfrn7
dfrn7
2m 39s
Shorten imadifssrn, rankwflemb verifiers #12074: Commit 2174273 pushed by benjub
3m 8s dfrn7
dfrn7
3m 8s
Add set-mbox-jag mathbox verifiers #12073: Pull request #5432 synchronize by jorge-agra
3m 18s jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
3m 18s
Cumulative hierarchy of sets cleanup (#5510) verifiers #12072: Commit 0bbe482 pushed by benjub
2m 33s develop
develop
2m 33s
mpt3 function value theorems verifiers #12071: Pull request #5513 opened by BTernaryTau
3m 9s BTernaryTau:mpt3fv
BTernaryTau:mpt3fv
3m 9s
Cumulative hierarchy of sets cleanup verifiers #12070: Pull request #5510 synchronize by benjub
3m 42s r1fun
r1fun
3m 42s
Edit comments of df-r1, df-rank. verifiers #12069: Commit 0978513 pushed by benjub
3m 15s r1fun
r1fun
3m 15s
Cumulative hierarchy of sets cleanup verifiers #12068: Pull request #5510 synchronize by benjub
3m 46s r1fun
r1fun
3m 46s
Edit comments of df-r1, df-rank. verifiers #12067: Commit 35a2b7d pushed by benjub
4m 32s r1fun
r1fun
4m 32s
restructure prjspner1 --> prjspnnorm verifiers #12066: Pull request #5504 synchronize by icecream17
2m 42s icecream17:develop
icecream17:develop
2m 42s
Add dfrn7 and rnr1 verifiers #12065: Pull request #5511 opened by benjub
10s dfrn7
dfrn7
10s
Add rnr1. verifiers #12064: Commit 57d9eda pushed by benjub
2m 34s dfrn7
dfrn7
2m 34s
Add set-mbox-jag mathbox verifiers #12063: Pull request #5432 synchronize by jorge-agra
3m 1s jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
3m 1s
Add set-mbox-jag mathbox verifiers #12062: Pull request #5432 synchronize by jorge-agra
Action required jorge-agra:jag/tgaas-aas-mathbox
jorge-agra:jag/tgaas-aas-mathbox
Action required
Cumulative hierarchy of sets cleanup verifiers #12061: Pull request #5510 synchronize by benjub
2m 58s r1fun
r1fun
2m 58s
Clarify comment following suggestion. verifiers #12060: Commit b53f20d pushed by benjub
2m 57s r1fun
r1fun
2m 57s
Fermat's Last Theorem - basic reductions, FLT for N=4 (#5492) verifiers #12059: Commit 6a06336 pushed by tirix
2m 38s develop
develop
2m 38s
Cumulative hierarchy of sets cleanup verifiers #12058: Pull request #5510 opened by benjub
8s r1fun
r1fun
8s
Comment edits related to cumulative hierarchy of sets: precisions, co… verifiers #12057: Commit 15192b1 pushed by benjub
2m 38s r1fun
r1fun
2m 38s
Create section in my mathbox for hereditarily finite sets (#5509) verifiers #12056: Commit 08e7ffc pushed by tirix
3m 7s develop
develop
3m 7s
Prove an mpt3 equality theorem and that mpt3 is a function (#5499) verifiers #12055: Commit 4c73851 pushed by tirix
2m 47s develop
develop
2m 47s
Create section in my mathbox for hereditarily finite sets verifiers #12054: Pull request #5509 synchronize by EricSchmidt-119
2m 31s EricSchmidt-119:mathbox-hf
EricSchmidt-119:mathbox-hf
2m 31s
Create section in my mathbox for hereditarily finite sets verifiers #12053: Pull request #5509 opened by EricSchmidt-119
2m 36s EricSchmidt-119:mathbox-hf
EricSchmidt-119:mathbox-hf
2m 36s
a bit more on nth roots of unity (iset.mm) (#5502) verifiers #12052: Commit b01dc8a pushed by jkingdon
2m 58s develop
develop
2m 58s
Fermat's Last Theorem - basic reductions, FLT for N=4 verifiers #12051: Pull request #5492 synchronize by avekens
2m 49s avekens:av-flt1
avekens:av-flt1
2m 49s