Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
3,188 workflow runs
3,188 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Surreal multiplication closure and ordering (#4694) verifiers #9275: Commit 38e577b pushed by sctfn
March 7, 2025 13:40 7m 11s develop
develop
March 7, 2025 13:40 7m 11s
Surreal multiplication closure and ordering verifiers #9274: Pull request #4694 synchronize by sctfn
March 7, 2025 13:32 7m 19s surreal-multiplication-2
surreal-multiplication-2
March 7, 2025 13:32 7m 19s
rewrap verifiers #9273: Commit 58fb949 pushed by sctfn
March 7, 2025 13:30 6m 51s surreal-multiplication-2
surreal-multiplication-2
March 7, 2025 13:30 6m 51s
nabbi -> nabbib (#4692) verifiers #9272: Commit 52173a9 pushed by wlammen
March 7, 2025 05:53 13s develop
develop
March 7, 2025 05:53 13s
Intuitionize subrings verifiers #9271: Pull request #4696 opened by jkingdon
March 7, 2025 00:50 3m 39s jkingdon:subring
jkingdon:subring
March 7, 2025 00:50 3m 39s
Surreal multiplication closure and ordering verifiers #9270: Pull request #4694 synchronize by sctfn
March 6, 2025 15:44 2m 54s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 15:44 2m 54s
add some citations, shorten some proofs, and add commutativity verifiers #9269: Commit c5f30cc pushed by sctfn
March 6, 2025 15:42 3m 38s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 15:42 3m 38s
Surreal multiplication closure and ordering verifiers #9268: Pull request #4694 synchronize by sctfn
March 6, 2025 00:06 3m 14s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 00:06 3m 14s
Merge branch 'develop' into surreal-multiplication-2 verifiers #9267: Commit 9e6c45c pushed by sctfn
March 6, 2025 00:05 3m 59s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 00:05 3m 59s
Surreal multiplication closure and ordering verifiers #9266: Pull request #4694 synchronize by sctfn
March 6, 2025 00:04 2m 48s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 00:04 2m 48s
rewrap verifiers #9265: Commit b306193 pushed by sctfn
March 6, 2025 00:02 2m 52s surreal-multiplication-2
surreal-multiplication-2
March 6, 2025 00:02 2m 52s
fix comment markup verifiers #9264: Commit 26c76a2 pushed by sctfn
March 5, 2025 23:59 3m 35s surreal-multiplication-2
surreal-multiplication-2
March 5, 2025 23:59 3m 35s
basic minimization verifiers #9263: Commit b86b11e pushed by sctfn
March 5, 2025 23:57 3m 44s surreal-multiplication-2
surreal-multiplication-2
March 5, 2025 23:57 3m 44s
nabbi -> nabbib verifiers #9262: Pull request #4692 opened by wlammen
March 5, 2025 16:35 4m 8s wlammen:wl-1
wlammen:wl-1
March 5, 2025 16:35 4m 8s
Concatenation of transfinite series (#4689) verifiers #9261: Commit b81e9c8 pushed by wlammen
March 5, 2025 14:56 3m 42s develop
develop
March 5, 2025 14:56 3m 42s
misc + revise df-assa (#4688) verifiers #9260: Commit 2c407a6 pushed by wlammen
March 5, 2025 14:53 3m 21s develop
develop
March 5, 2025 14:53 3m 21s
intuitionize subgroups from issubgrpd2 to trivsubgsnd (#4690) verifiers #9259: Commit a277e21 pushed by jkingdon
March 4, 2025 17:40 12s develop
develop
March 4, 2025 17:40 12s
misc + revise df-assa verifiers #9258: Pull request #4688 synchronize by icecream17
March 4, 2025 08:56 3m 45s icecream17:develop
icecream17:develop
March 4, 2025 08:56 3m 45s
intuitionize subgroups from issubgrpd2 to trivsubgsnd verifiers #9257: Pull request #4690 opened by jkingdon
March 3, 2025 07:27 2m 46s jkingdon:issubgrpd2
jkingdon:issubgrpd2
March 3, 2025 07:27 2m 46s
Intuitionize subgroups from df-subg to issubg2 (#4684) verifiers #9256: Commit da1f8b0 pushed by jkingdon
March 3, 2025 06:58 3m 51s develop
develop
March 3, 2025 06:58 3m 51s
RP Mathbox - Concatenation of transfinite series verifiers #9255: Pull request #4689 opened by arpie-steele
March 3, 2025 04:10 3m 42s arpie-steele:rpenner2503a
arpie-steele:rpenner2503a
March 3, 2025 04:10 3m 42s
misc + revise df-assa verifiers #9254: Pull request #4688 synchronize by icecream17
March 3, 2025 02:32 3m 40s icecream17:develop
icecream17:develop
March 3, 2025 02:32 3m 40s
finish the mulsproplem series verifiers #9253: Commit b3c65d0 pushed by sctfn
March 3, 2025 02:31 3m 2s surreal-multiplication-2
surreal-multiplication-2
March 3, 2025 02:31 3m 2s
Rename syl5ibr to imbitrrid (last part) (#4685) verifiers #9252: Commit 1e255cf pushed by jkingdon
March 2, 2025 19:33 16s develop
develop
March 2, 2025 19:33 16s
back out mulsproplem18 for now verifiers #9251: Commit fdfe0e7 pushed by sctfn
March 2, 2025 19:12 2m 59s surreal-multiplication-2
surreal-multiplication-2
March 2, 2025 19:12 2m 59s