Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

set up a version of mulsval with fewer DVs verifiers #9289: Commit 81b68de pushed by sctfn
March 8, 2025 19:45 2m 53s surreal-multiplication-3
surreal-multiplication-3
March 8, 2025 19:45 2m 53s
prove negsbday verifiers #9288: Commit 8327769 pushed by sctfn
March 8, 2025 19:26 3m 23s surreal-multiplication-3
surreal-multiplication-3
March 8, 2025 19:26 3m 23s
shorten proofs verifiers #9287: Pull request #4698 synchronize by wlammen
March 8, 2025 13:53 6m 16s wlammen:wl-1
wlammen:wl-1
March 8, 2025 13:53 6m 16s
shorten proofs verifiers #9286: Pull request #4698 synchronize by wlammen
March 8, 2025 13:39 6m 58s wlammen:wl-1
wlammen:wl-1
March 8, 2025 13:39 6m 58s
shorten proofs verifiers #9285: Pull request #4698 synchronize by wlammen
March 8, 2025 10:30 7m 12s wlammen:wl-1
wlammen:wl-1
March 8, 2025 10:30 7m 12s
shorten proofs verifiers #9284: Pull request #4698 synchronize by wlammen
March 8, 2025 10:28 7m 55s wlammen:wl-1
wlammen:wl-1
March 8, 2025 10:28 7m 55s
shorten proofs verifiers #9283: Pull request #4698 synchronize by wlammen
March 8, 2025 10:25 6m 55s wlammen:wl-1
wlammen:wl-1
March 8, 2025 10:25 6m 55s
shorten proofs verifiers #9282: Pull request #4698 synchronize by wlammen
March 8, 2025 10:23 6m 51s wlammen:wl-1
wlammen:wl-1
March 8, 2025 10:23 6m 51s
shorten proofs verifiers #9281: Pull request #4698 opened by wlammen
March 8, 2025 10:09 6m 55s wlammen:wl-1
wlammen:wl-1
March 8, 2025 10:09 6m 55s
Intuitionize ZZring verifiers #9280: Pull request #4697 synchronize by jkingdon
March 8, 2025 07:12 6m 31s jkingdon:zring
jkingdon:zring
March 8, 2025 07:12 6m 31s
minimize mulsunif verifiers #9279: Commit 0eaf419 pushed by sctfn
March 8, 2025 03:01 6m 54s surreal-multiplication-3
surreal-multiplication-3
March 8, 2025 03:01 6m 54s
add multiplication uniformity verifiers #9278: Commit ed39159 pushed by sctfn
March 8, 2025 01:57 6m 29s surreal-multiplication-3
surreal-multiplication-3
March 8, 2025 01:57 6m 29s
Intuitionize ZZring verifiers #9277: Pull request #4697 opened by jkingdon
March 8, 2025 00:48 7m 11s jkingdon:zring
jkingdon:zring
March 8, 2025 00:48 7m 11s
Intuitionize subrings (#4696) verifiers #9276: Commit 88170c2 pushed by jkingdon
March 8, 2025 00:40 8m 25s develop
develop
March 8, 2025 00:40 8m 25s
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