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

Remove ax-12 from dtru verifiers #7814: Pull request #4277 opened by CatsAreFluffy
October 11, 2024 03:36 2m 32s CatsAreFluffy:dtru-no-ax12
CatsAreFluffy:dtru-no-ax12
October 11, 2024 03:36 2m 32s
Add (another) shorter ax-groth equivalent verifiers #7813: Pull request #4273 synchronize by CatsAreFluffy
October 11, 2024 03:31 2m 13s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 11, 2024 03:31 2m 13s
Add bijective sticks and stones verifiers #7812: Pull request #4269 synchronize by metakunt
October 10, 2024 23:51 2m 19s metakunt:ststone
metakunt:ststone
October 10, 2024 23:51 2m 19s
Replace syl5reqr with eqtr3di (#4276) verifiers #7811: Commit 60914d5 pushed by jkingdon
October 10, 2024 21:16 2m 55s develop
develop
October 10, 2024 21:16 2m 55s
Intuitionize pCnt through closure verifiers #7810: Pull request #4275 synchronize by jkingdon
October 10, 2024 21:10 2m 19s jkingdon:df-pc
jkingdon:df-pc
October 10, 2024 21:10 2m 19s
Mathbox: generalized class abstractions. (#4272) verifiers #7809: Commit 72fbdcb pushed by benjub
October 10, 2024 21:04 3m 0s develop
develop
October 10, 2024 21:04 3m 0s
Add (another) shorter ax-groth equivalent verifiers #7808: Pull request #4273 synchronize by CatsAreFluffy
October 10, 2024 20:27 3m 11s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 10, 2024 20:27 3m 11s
Mathbox: generalized class abstractions. verifiers #7807: Pull request #4272 synchronize by benjub
October 10, 2024 20:23 3m 13s benjub:gab
benjub:gab
October 10, 2024 20:23 3m 13s
Replace syl5reqr with eqtr3di verifiers #7806: Pull request #4276 synchronize by jkingdon
October 10, 2024 19:58 2m 29s jkingdon:eqtr3di
jkingdon:eqtr3di
October 10, 2024 19:58 2m 29s
Replace syl5reqr with eqtr3di verifiers #7805: Pull request #4276 opened by jkingdon
October 10, 2024 19:50 2m 32s jkingdon:eqtr3di
jkingdon:eqtr3di
October 10, 2024 19:50 2m 32s
Surreal work (#4274) verifiers #7804: Commit 7483155 pushed by sctfn
October 10, 2024 15:52 19s develop
develop
October 10, 2024 15:52 19s
Intuitionize pCnt through closure verifiers #7803: Pull request #4275 opened by jkingdon
October 10, 2024 06:12 2m 49s jkingdon:df-pc
jkingdon:df-pc
October 10, 2024 06:12 2m 49s
Surreal work verifiers #7802: Pull request #4274 opened by sctfn
October 10, 2024 01:48 18s surreal-negation
surreal-negation
October 10, 2024 01:48 18s
rm hyp from lrold verifiers #7801: Commit e1deac1 pushed by sctfn
October 10, 2024 01:42 2m 55s surreal-negation
surreal-negation
October 10, 2024 01:42 2m 55s
rewrite no3inds using xpord3ind verifiers #7800: Commit a3879c5 pushed by sctfn
October 10, 2024 00:55 3m 17s surreal-negation
surreal-negation
October 10, 2024 00:55 3m 17s
rewrap verifiers #7799: Commit 34fa960 pushed by sctfn
October 10, 2024 00:15 2m 22s surreal-negation
surreal-negation
October 10, 2024 00:15 2m 22s
more hypothesis elimination verifiers #7798: Commit 5507c09 pushed by sctfn
October 10, 2024 00:14 3m 2s surreal-negation
surreal-negation
October 10, 2024 00:14 3m 2s
Add subset theorems verifiers #7797: Commit 76af208 pushed by sctfn
October 9, 2024 23:39 2m 17s surreal-negation
surreal-negation
October 9, 2024 23:39 2m 17s
move variable declarations around verifiers #7796: Commit 079f8ef pushed by sctfn
October 9, 2024 22:24 2m 14s surreal-negation
surreal-negation
October 9, 2024 22:24 2m 14s
Mathbox: generalized class abstractions. verifiers #7795: Pull request #4272 synchronize by benjub
October 9, 2024 22:08 2m 30s benjub:gab
benjub:gab
October 9, 2024 22:08 2m 30s
Add (another) shorter ax-groth equivalent verifiers #7794: Pull request #4273 synchronize by CatsAreFluffy
October 9, 2024 21:00 2m 24s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 9, 2024 21:00 2m 24s
add iserodd to mmil.html verifiers #7793: Commit c076ed0 pushed by jkingdon
October 9, 2024 06:07 21s develop
develop
October 9, 2024 06:07 21s
Add (another) shorter ax-groth equivalent verifiers #7792: Pull request #4273 synchronize by CatsAreFluffy
October 9, 2024 01:36 5m 39s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 9, 2024 01:36 5m 39s
Add (another) shorter ax-groth equivalent verifiers #7791: Pull request #4273 opened by CatsAreFluffy
October 8, 2024 09:54 2m 18s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 8, 2024 09:54 2m 18s
Mathbox: generalized class abstractions. verifiers #7790: Pull request #4272 synchronize by benjub
October 7, 2024 23:20 2m 28s benjub:gab
benjub:gab
October 7, 2024 23:20 2m 28s