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

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
avoid ax-10--12 in elabg (and sbc6g) verifiers #7773: Pull request #4266 synchronize by icecream17
October 5, 2024 15:05 2m 17s icecream17:elabg
icecream17:elabg
October 5, 2024 15:05 2m 17s
avoid ax-10--12 in elabg (and sbc6g) verifiers #7772: Pull request #4266 opened by icecream17
October 5, 2024 14:54 2m 13s icecream17:elabg
icecream17:elabg
October 5, 2024 14:54 2m 13s
Intuitionize section "Arithmetic modulo a prime number" verifiers #7771: Pull request #4263 synchronize by jkingdon
October 5, 2024 14:41 2m 54s jkingdon:modprm1div
jkingdon:modprm1div
October 5, 2024 14:41 2m 54s
sn-wcdeq, 19.8aw verifiers #7770: Pull request #4251 synchronize by icecream17
October 5, 2024 12:25 2m 29s icecream17:evlsrhm2
icecream17:evlsrhm2
October 5, 2024 12:25 2m 29s
sn-wcdeq, 19.8aw verifiers #7769: Pull request #4251 synchronize by icecream17
October 4, 2024 01:34 3m 10s icecream17:evlsrhm2
icecream17:evlsrhm2
October 4, 2024 01:34 3m 10s
Add lemmas, reduce axiom usage, shorten proofs verifiers #7768: Pull request #4264 opened by GinoGiotto
October 3, 2024 19:26 2m 22s GinoGiotto:PR13
GinoGiotto:PR13
October 3, 2024 19:26 2m 22s
Intuitionize section "Arithmetic modulo a prime number" verifiers #7767: Pull request #4263 opened by jkingdon
October 3, 2024 14:53 2m 22s jkingdon:modprm1div
jkingdon:modprm1div
October 3, 2024 14:53 2m 22s
Add odzphi to iset.mm verifiers #7766: Commit 74f3a86 pushed by jkingdon
October 3, 2024 14:46 2m 36s develop
develop
October 3, 2024 14:46 2m 36s
Add prmdc to iset.mm verifiers #7765: Commit 9151959 pushed by jkingdon
October 3, 2024 00:16 2m 43s develop
develop
October 3, 2024 00:16 2m 43s