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

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
Mathbox: generalized class abstractions. verifiers #7789: Pull request #4272 opened by benjub
October 7, 2024 23:17 2m 30s benjub:gab
benjub:gab
October 7, 2024 23:17 2m 30s
Composition of functions (follow up) verifiers #7788: Pull request #4271 opened by avekens
October 7, 2024 16:12 2m 25s avekens:av-fset4
avekens:av-fset4
October 7, 2024 16:12 2m 25s
Intuitionize section "Pythagorean Triples" verifiers #7787: Pull request #4270 opened by jkingdon
October 7, 2024 04:36 2m 12s jkingdon:pythagtrip
jkingdon:pythagtrip
October 7, 2024 04:36 2m 12s
Add bijective sticks and stones verifiers #7786: Pull request #4269 synchronize by metakunt
October 6, 2024 23:19 2m 20s metakunt:ststone
metakunt:ststone
October 6, 2024 23:19 2m 20s
Add bijective sticks and stones verifiers #7785: Pull request #4269 opened by metakunt
October 6, 2024 18:07 2m 38s metakunt:ststone
metakunt:ststone
October 6, 2024 18:07 2m 38s
shorten nfnbi (#4268) verifiers #7784: Commit 7872675 pushed by wlammen
October 6, 2024 16:41 2m 25s develop
develop
October 6, 2024 16:41 2m 25s
Intuitionize section "Arithmetic modulo a prime number" (#4263) verifiers #7783: Commit f417c70 pushed by benjub
October 6, 2024 15:30 2m 15s develop
develop
October 6, 2024 15:30 2m 15s
sn-wcdeq, 19.8aw (#4251) verifiers #7782: Commit d4805fa pushed by benjub
October 6, 2024 15:29 2m 58s develop
develop
October 6, 2024 15:29 2m 58s
avoid ax-10--12 in elabg (and sbc6g) (#4266) verifiers #7781: Commit a1c88b2 pushed by benjub
October 6, 2024 15:28 2m 35s develop
develop
October 6, 2024 15:28 2m 35s
shorten nfnbi verifiers #7780: Pull request #4268 synchronize by wlammen
October 6, 2024 15:05 2m 10s wlammen:wl-1
wlammen:wl-1
October 6, 2024 15:05 2m 10s
shorten nfnbi verifiers #7779: Pull request #4268 opened by wlammen
October 6, 2024 15:01 2m 32s wlammen:wl-1
wlammen:wl-1
October 6, 2024 15:01 2m 32s
avoid ax-10--12 in elabg (and sbc6g) verifiers #7778: Pull request #4266 synchronize by icecream17
October 6, 2024 13:35 2m 27s icecream17:elabg
icecream17:elabg
October 6, 2024 13:35 2m 27s
Shorten dfnul2; mathbox propcalc. (#4267) verifiers #7777: Commit 5699838 pushed by wlammen
October 6, 2024 10:43 2m 18s develop
develop
October 6, 2024 10:43 2m 18s
Shorten dfnul2; mathbox propcalc. verifiers #7776: Pull request #4267 synchronize by benjub
October 5, 2024 20:52 2m 16s benjub:dfnul
benjub:dfnul
October 5, 2024 20:52 2m 16s
Shorten dfnul2; mathbox propcalc. verifiers #7775: Pull request #4267 opened by benjub
October 5, 2024 20:26 2m 26s benjub:dfnul
benjub:dfnul
October 5, 2024 20:26 2m 26s
Add lemmas, reduce axiom usage, shorten proofs (#4264) verifiers #7774: Commit dbb92ce pushed by benjub
October 5, 2024 17:54 18s develop
develop
October 5, 2024 17:54 18s