Skip to content

Actions: metamath/set.mm

Actions

verifiers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifiers.yml
3,266 workflow runs
3,266 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Replace "rn" by "cdm" (3) verifiers #8588: Pull request #4529 synchronize by avekens
January 4, 2025 08:21 2m 51s avekens:av_rn3
avekens:av_rn3
January 4, 2025 08:21 2m 51s
save ax-riotaBAD in glbconN verifiers #8587: Pull request #4528 synchronize by icecream17
January 4, 2025 03:26 2m 58s icecream17:develop
icecream17:develop
January 4, 2025 03:26 2m 58s
save ax-riotaBAD in glbconN verifiers #8586: Pull request #4528 synchronize by icecream17
January 3, 2025 22:08 3m 0s icecream17:develop
icecream17:develop
January 3, 2025 22:08 3m 0s
save ax-riotaBAD in glbconN verifiers #8585: Pull request #4528 opened by icecream17
January 3, 2025 21:58 2m 26s icecream17:develop
icecream17:develop
January 3, 2025 21:58 2m 26s
shorten nfra2 (#4525) verifiers #8584: Commit 8bac883 pushed by wlammen
January 3, 2025 20:11 22s develop
develop
January 3, 2025 20:11 22s
gen-html: fix error handling (#4527) verifiers #8583: Commit 50a0de4 pushed by wlammen
January 3, 2025 20:11 20s develop
develop
January 3, 2025 20:11 20s
Intuitionize SRing verifiers #8582: Pull request #4522 synchronize by jkingdon
January 3, 2025 20:05 2m 38s jkingdon:srg
jkingdon:srg
January 3, 2025 20:05 2m 38s
gen-html: fix error handling verifiers #8581: Pull request #4527 opened by wlammen
January 3, 2025 17:24 2m 18s wlammen:wl-genhtml
wlammen:wl-genhtml
January 3, 2025 17:24 2m 18s
Wl genhtml verifiers #8580: Pull request #4526 opened by wlammen
January 3, 2025 16:47 2m 17s wlammen:wl-genhtml
wlammen:wl-genhtml
January 3, 2025 16:47 2m 17s
Add exel (from mathbox sn-el), exex, exneq (from proof of dtru) verifiers #8579: Pull request #4521 synchronize by benjub
January 3, 2025 12:46 2m 30s benjub:dtru
benjub:dtru
January 3, 2025 12:46 2m 30s
shorten nfra2 verifiers #8578: Pull request #4525 opened by wlammen
January 3, 2025 10:47 3m 20s wlammen:wl-r
wlammen:wl-r
January 3, 2025 10:47 3m 20s
rewrite restricted quantifiers # 7 (#4523) verifiers #8577: Commit 5afff8a pushed by wlammen
January 3, 2025 10:20 3m 3s develop
develop
January 3, 2025 10:20 3m 3s
Rename syl5bi to biimtrid (part 3) (#4524) verifiers #8576: Commit 4edddb3 pushed by jkingdon
January 3, 2025 04:49 18s develop
develop
January 3, 2025 04:49 18s
Rename syl5bi to biimtrid (part 3) verifiers #8575: Pull request #4524 opened by jkingdon
January 2, 2025 23:40 2m 18s jkingdon:biimtrid-3
jkingdon:biimtrid-3
January 2, 2025 23:40 2m 18s
Add ~snssb to both set.mm and iset.mm; shorten corollaries. (#4519) verifiers #8574: Commit 6f580b9 pushed by benjub
January 2, 2025 19:47 2m 17s develop
develop
January 2, 2025 19:47 2m 17s
rewrite restricted quantifiers # 7 verifiers #8573: Pull request #4523 synchronize by wlammen
January 2, 2025 18:52 2m 48s wlammen:wl-r
wlammen:wl-r
January 2, 2025 18:52 2m 48s
rewrite restricted quantifiers # 7 verifiers #8572: Pull request #4523 opened by wlammen
January 2, 2025 18:43 2m 18s wlammen:wl-r
wlammen:wl-r
January 2, 2025 18:43 2m 18s
Intuitionize SRing verifiers #8571: Pull request #4522 opened by jkingdon
January 2, 2025 18:17 2m 23s jkingdon:srg
jkingdon:srg
January 2, 2025 18:17 2m 23s
Rename syl5bi to biimtrid (part 2) (#4520) verifiers #8570: Commit 48fa9c2 pushed by jkingdon
January 2, 2025 18:10 2m 21s develop
develop
January 2, 2025 18:10 2m 21s
Reduce ax-pow and ax-un usage (#4515) verifiers #8569: Commit 325935c pushed by jkingdon
January 2, 2025 18:10 2m 23s develop
develop
January 2, 2025 18:10 2m 23s
Add CMnd and Abel to iset.mm (#4514) verifiers #8568: Commit afb5a2a pushed by jkingdon
January 2, 2025 16:53 2m 27s develop
develop
January 2, 2025 16:53 2m 27s
Reduce ax-pow and ax-un usage verifiers #8567: Pull request #4515 synchronize by BTernaryTau
January 2, 2025 16:44 2m 31s BTernaryTau:en2prd
BTernaryTau:en2prd
January 2, 2025 16:44 2m 31s
Add exel (from mathbox sn-el), exex, exneq (from proof of dtru) verifiers #8566: Pull request #4521 synchronize by benjub
January 2, 2025 10:44 2m 35s benjub:dtru
benjub:dtru
January 2, 2025 10:44 2m 35s
Add exel (from mathbox sn-el), exex, exneq (from proof of dtru) verifiers #8565: Pull request #4521 opened by benjub
January 2, 2025 10:32 2m 25s benjub:dtru
benjub:dtru
January 2, 2025 10:32 2m 25s
Add theorems on domains of addition and multiplication in sigma-algeb… verifiers #8564: Commit 3cc2910 pushed by wlammen
January 2, 2025 08:47 3m 15s develop
develop
January 2, 2025 08:47 3m 15s