Skip to content

Actions: metamath/set.mm

Actions

verifiers

Actions

Loading...
Loading

Showing runs from all workflows named verifiers
3,318 workflow run results
3,318 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

shorten sbco4lem verifiers #7822: Pull request #4281 opened by wlammen
October 12, 2024 17:42 2m 16s wlammen:wl-1
wlammen:wl-1
October 12, 2024 17:42 2m 16s
Intuitionize pCnt from pcmul to pcdvdstr verifiers #7821: Pull request #4280 opened by jkingdon
October 12, 2024 16:55 2m 19s jkingdon:pcmul
jkingdon:pcmul
October 12, 2024 16:55 2m 19s
Intuitionize pCnt through closure (#4275) verifiers #7820: Commit ff96ffa pushed by jkingdon
October 12, 2024 16:03 2m 16s develop
develop
October 12, 2024 16:03 2m 16s
Prove theorems with fewer axioms verifiers #7819: Pull request #4278 synchronize by GinoGiotto
October 12, 2024 14:44 2m 28s GinoGiotto:PR_15
GinoGiotto:PR_15
October 12, 2024 14:44 2m 28s
Prove theorems with fewer axioms verifiers #7818: Pull request #4278 synchronize by GinoGiotto
October 12, 2024 14:14 2m 27s GinoGiotto:PR_15
GinoGiotto:PR_15
October 12, 2024 14:14 2m 27s
Prove theorems with fewer axioms verifiers #7817: Pull request #4278 synchronize by GinoGiotto
October 12, 2024 10:23 2m 8s GinoGiotto:PR_15
GinoGiotto:PR_15
October 12, 2024 10:23 2m 8s
Prove theorems with fewer axioms verifiers #7816: Pull request #4278 opened by GinoGiotto
October 12, 2024 10:14 2m 27s GinoGiotto:PR_15
GinoGiotto:PR_15
October 12, 2024 10:14 2m 27s
Composition of functions (follow up) (#4271) verifiers #7815: Commit 10458bf pushed by avekens
October 11, 2024 13:55 2m 32s develop
develop
October 11, 2024 13:55 2m 32s
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