Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
2,612 workflow runs
2,612 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

More chain theorems (equivalence relations, length bound, the tower) … verifiers #11021: Commit 037b1a8 pushed by wlammen
2m 54s develop
develop
2m 54s
Lifts, shifts, successor, and predecessor (#5185) verifiers #11020: Commit c238424 pushed by wlammen
2m 59s develop
develop
2m 59s
Add Walks to iset.mm (#5189) verifiers #11019: Commit d25461e pushed by jkingdon
3m 0s develop
develop
3m 0s
little bit more avoid axiom usages. (#5190) verifiers #11018: Commit dcd4220 pushed by wlammen
2m 54s develop
develop
2m 54s
little bit more avoid axiom usages. verifiers #11017: Pull request #5190 synchronize by 2mc3k
3m 26s 2mc3k:2mc3k
2mc3k:2mc3k
3m 26s
little bit more avoid axiom usages. verifiers #11016: Pull request #5190 synchronize by 2mc3k
2m 44s 2mc3k:2mc3k
2mc3k:2mc3k
2m 44s
Eliminate Choice usage in ~friendship (#5183) verifiers #11015: Commit 8d527d9 pushed by wlammen
2m 36s develop
develop
2m 36s
little bit more avoid axiom usages. verifiers #11014: Pull request #5190 opened by 2mc3k
3m 11s 2mc3k:2mc3k
2mc3k:2mc3k
3m 11s
Remove a paragraph from iset.mm df-ifp comment (#5188) verifiers #11013: Commit 685214e pushed by jkingdon
2m 42s develop
develop
2m 42s
Eliminate Choice usage in ~friendship verifiers #11012: Pull request #5183 synchronize by ProgramCrafter
2m 35s ProgramCrafter:my9-unchoice-friendship
ProgramCrafter:my9-unchoice-friendship
2m 35s
Add Walks to iset.mm verifiers #11011: Pull request #5189 opened by jkingdon
2m 57s jkingdon:df-wlks
jkingdon:df-wlks
2m 57s
fix description of df-bi (#5187) verifiers #11010: Commit 1938360 pushed by wlammen
11s develop
develop
11s
Remove a paragraph from iset.mm df-ifp comment verifiers #11009: Pull request #5188 opened by jkingdon
2m 55s jkingdon:ifp-comment-not-for-iset
jkingdon:ifp-comment-not-for-iset
2m 55s
fix description of df-bi verifiers #11008: Pull request #5187 synchronize by wlammen
2m 50s wlammen:wl-2
wlammen:wl-2
2m 50s
fix description of df-bi verifiers #11007: Pull request #5187 synchronize by wlammen
2m 33s wlammen:wl-2
wlammen:wl-2
2m 33s
fix description of df-bi verifiers #11006: Pull request #5187 opened by wlammen
2m 40s wlammen:wl-2
wlammen:wl-2
2m 40s
Add if- to iset.mm (#5184) verifiers #11005: Commit f232aa7 pushed by jkingdon
2m 57s develop
develop
2m 57s
Lifts, shifts, successor, and predecessor verifiers #11004: Pull request #5185 synchronize by mazsa
2m 54s mazsa:mazsa-lifts&shifts
mazsa:mazsa-lifts&shifts
2m 54s
rewrap verifiers #11003: Commit 392b981 pushed by sctfn
3m 0s surreal-reals
surreal-reals
3m 0s
Developments on chains verifiers #11002: Pull request #5186 opened by ProgramCrafter
2m 42s ProgramCrafter:my8-upword-composition
ProgramCrafter:my8-upword-composition
2m 42s
Lifts, shifts, successor, and predecessor verifiers #11001: Pull request #5185 opened by mazsa
3m 58s mazsa:mazsa-lifts&shifts
mazsa:mazsa-lifts&shifts
3m 58s
More R1 additions (#5182) verifiers #11000: Commit 621ac81 pushed by wlammen
2m 45s develop
develop
2m 45s
Add if- to iset.mm verifiers #10999: Pull request #5184 opened by jkingdon
2m 55s jkingdon:df-ifp
jkingdon:df-ifp
2m 55s
Intuitionize graph theory from usgr2edg1 to usgrstrrepe (#5179) verifiers #10998: Commit 9ab35df pushed by jkingdon
2m 39s develop
develop
2m 39s
Eliminate Choice usage in ~friendship verifiers #10997: Pull request #5183 opened by ProgramCrafter
2m 47s ProgramCrafter:my9-unchoice-friendship
ProgramCrafter:my9-unchoice-friendship
2m 47s