Skip to content

Actions: metamath/set.mm

Actions

verifiers

Actions

Loading...
Loading

Show workflow options

Create status badge

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Add new pre-image theorems (#4487) verifiers #8479: Commit 86d9e3a pushed by wlammen
December 21, 2024 09:29 2m 20s develop
develop
December 21, 2024 09:29 2m 20s
more axiom saves with functions (#4485) verifiers #8478: Commit 2cbfae9 pushed by wlammen
December 21, 2024 09:28 18s develop
develop
December 21, 2024 09:28 18s
Finish intuitionizing section "Groups: Definition and basic properties" verifiers #8477: Pull request #4488 opened by jkingdon
December 21, 2024 05:18 2m 54s jkingdon:grplmulf1o
jkingdon:grplmulf1o
December 21, 2024 05:18 2m 54s
Add new pre-image theorems verifiers #8476: Pull request #4487 opened by glacode
December 20, 2024 15:42 2m 38s glacode:MEASURE
glacode:MEASURE
December 20, 2024 15:42 2m 38s
rewrite restricted quantifiers # 1 verifiers #8475: Pull request #4486 synchronize by wlammen
December 20, 2024 14:14 3m 7s wlammen:wl-r
wlammen:wl-r
December 20, 2024 14:14 3m 7s
rewrite restricted quantifiers # 1 verifiers #8474: Pull request #4486 synchronize by wlammen
December 20, 2024 14:11 3m 11s wlammen:wl-r
wlammen:wl-r
December 20, 2024 14:11 3m 11s
rewrite restricted quantifiers # 1 verifiers #8473: Pull request #4486 opened by wlammen
December 20, 2024 13:17 2m 26s wlammen:wl-r
wlammen:wl-r
December 20, 2024 13:17 2m 26s
more axiom saves with functions verifiers #8472: Pull request #4485 synchronize by icecream17
December 20, 2024 01:06 2m 15s icecream17:develop
icecream17:develop
December 20, 2024 01:06 2m 15s
more axiom saves with functions verifiers #8471: Pull request #4485 opened by icecream17
December 20, 2024 00:07 3m 1s icecream17:develop
icecream17:develop
December 20, 2024 00:07 3m 1s
Replace "rn" by "cdm" (1) verifiers #8470: Pull request #4484 synchronize by avekens
December 18, 2024 05:06 2m 36s avekens:av_rn1
avekens:av_rn1
December 18, 2024 05:06 2m 36s
Replace "rn" by "cdm" (1) verifiers #8469: Pull request #4484 opened by avekens
December 17, 2024 19:59 3m 27s avekens:av_rn1
avekens:av_rn1
December 17, 2024 19:59 3m 27s
Intuitionize groups from grpinvfvalg to grpsubinv (#4483) verifiers #8468: Commit 3cbce00 pushed by jkingdon
December 17, 2024 15:52 2m 45s develop
develop
December 17, 2024 15:52 2m 45s
Remove unnecessary $d condition from theorems on sigma-measurable fun… verifiers #8467: Commit dd76477 pushed by wlammen
December 16, 2024 11:29 20s develop
develop
December 16, 2024 11:29 20s
Intuitionize groups from grpinvfvalg to grpsubinv verifiers #8466: Pull request #4483 opened by jkingdon
December 15, 2024 21:34 2m 16s jkingdon:grpinvfval
jkingdon:grpinvfval
December 15, 2024 21:34 2m 16s
Remove unnecessary $d condition from theorems on sigma-measurable fun… verifiers #8465: Pull request #4482 opened by glacode
December 15, 2024 17:06 2m 17s glacode:MEASURE
glacode:MEASURE
December 15, 2024 17:06 2m 17s
eliminate sethood hypotheses (by opabss, ssexi) (#4481) verifiers #8464: Commit a89666b pushed by wlammen
December 15, 2024 09:29 2m 21s develop
develop
December 15, 2024 09:29 2m 21s
RP Mathbox ordinals and cardinals (#4480) verifiers #8463: Commit 390be62 pushed by wlammen
December 15, 2024 09:29 16s develop
develop
December 15, 2024 09:29 16s
RP Mathbox ordinals and cardinals verifiers #8462: Pull request #4480 synchronize by arpie-steele
December 15, 2024 04:40 2m 18s arpie-steele:rpenner2412a
arpie-steele:rpenner2412a
December 15, 2024 04:40 2m 18s
RP Mathbox ordinals and cardinals verifiers #8461: Pull request #4480 synchronize by arpie-steele
December 14, 2024 08:51 2m 19s arpie-steele:rpenner2412a
arpie-steele:rpenner2412a
December 14, 2024 08:51 2m 19s
shorten nfralw (#4478) verifiers #8460: Commit e88cda7 pushed by wlammen
December 14, 2024 08:30 2m 10s develop
develop
December 14, 2024 08:30 2m 10s
Decidability of equality for NN+oo is equivalent to WLPO (#4476) verifiers #8459: Commit f94f037 pushed by jkingdon
December 14, 2024 04:35 2m 45s develop
develop
December 14, 2024 04:35 2m 45s
eliminate sethood hypotheses (by opabss, ssexi) verifiers #8458: Pull request #4481 synchronize by icecream17
December 14, 2024 03:48 2m 58s icecream17:develop
icecream17:develop
December 14, 2024 03:48 2m 58s
eliminate sethood hypotheses (by opabss, ssexi) verifiers #8457: Pull request #4481 opened by icecream17
December 14, 2024 02:10 2m 25s icecream17:develop
icecream17:develop
December 14, 2024 02:10 2m 25s
RP Mathbox ordinals and cardinals verifiers #8456: Pull request #4480 synchronize by arpie-steele
December 13, 2024 22:07 2m 17s arpie-steele:rpenner2412a
arpie-steele:rpenner2412a
December 13, 2024 22:07 2m 17s
RP Mathbox ordinals and cardinals verifiers #8455: Pull request #4480 opened by arpie-steele
December 13, 2024 21:47 2m 34s arpie-steele:rpenner2412a
arpie-steele:rpenner2412a
December 13, 2024 21:47 2m 34s