Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

The field of rational numbers QQ is generated by 1 verifiers #8760: Pull request #4574 opened by tirix
January 15, 2025 12:23 3m 10s tirix:1fldgenq
tirix:1fldgenq
January 15, 2025 12:23 3m 10s
fix order of theorems in df-rab section verifiers #8759: Pull request #4573 opened by wlammen
January 15, 2025 11:22 3m 4s wlammen:wl-1
wlammen:wl-1
January 15, 2025 11:22 3m 4s
RP Mathbox Ordinals, Utilities, Surreals verifiers #8758: Pull request #4568 synchronize by arpie-steele
January 15, 2025 06:03 3m 25s arpie-steele:rpenner2412b
arpie-steele:rpenner2412b
January 15, 2025 06:03 3m 25s
RP Mathbox Ordinals, Utilities, Surreals verifiers #8757: Pull request #4568 synchronize by arpie-steele
January 15, 2025 05:56 2m 48s arpie-steele:rpenner2412b
arpie-steele:rpenner2412b
January 15, 2025 05:56 2m 48s
commutativity of ring is invariant under isomorphism verifiers #8756: Pull request #4555 synchronize by avekens
January 15, 2025 04:22 2m 44s icecream17:struct
icecream17:struct
January 15, 2025 04:22 2m 44s
Intuitionize section "Opposite ring" verifiers #8755: Pull request #4572 opened by jkingdon
January 15, 2025 01:52 3m 44s jkingdon:oppr
jkingdon:oppr
January 15, 2025 01:52 3m 44s
Prove elALT from sels. Fix a typo. verifiers #8754: Pull request #4571 opened by benjub
January 15, 2025 00:23 3m 4s benjub:minor
benjub:minor
January 15, 2025 00:23 3m 4s
Surreal numbers: full eta property verifiers #8753: Pull request #4570 opened by sctfn
January 14, 2025 23:47 3m 7s surreal-4
surreal-4
January 14, 2025 23:47 3m 7s
fix section title verifiers #8752: Commit c6469b6 pushed by sctfn
January 14, 2025 23:44 2m 52s surreal-4
surreal-4
January 14, 2025 23:44 2m 52s
document moves verifiers #8751: Commit 6d9d852 pushed by sctfn
January 14, 2025 23:44 3m 31s surreal-4
surreal-4
January 14, 2025 23:44 3m 31s
Surreal birthday and density (#4565) verifiers #8750: Commit af44c72 pushed by sctfn
January 14, 2025 23:28 17s develop
develop
January 14, 2025 23:28 17s
RP Mathbox Ordinals, Utilities, Surreals verifiers #8749: Pull request #4568 synchronize by arpie-steele
January 14, 2025 22:33 3m 38s arpie-steele:rpenner2412b
arpie-steele:rpenner2412b
January 14, 2025 22:33 3m 38s
commutativity of ring is invariant under isomorphism verifiers #8748: Pull request #4555 synchronize by icecream17
January 14, 2025 20:45 3m 1s icecream17:struct
icecream17:struct
January 14, 2025 20:45 3m 1s
commutativity of ring is invariant under isomorphism verifiers #8747: Pull request #4555 synchronize by icecream17
January 14, 2025 20:39 3m 28s icecream17:struct
icecream17:struct
January 14, 2025 20:39 3m 28s
Surreal birthday and density verifiers #8746: Pull request #4565 synchronize by avekens
January 14, 2025 19:46 3m 2s surreal-3
surreal-3
January 14, 2025 19:46 3m 2s
Merge branch 'develop' into surreal-3 verifiers #8745: Commit 19d176c pushed by avekens
January 14, 2025 19:46 3m 8s surreal-3
surreal-3
January 14, 2025 19:46 3m 8s
Subfields generated by a set (#4553) verifiers #8744: Commit 389a55a pushed by tirix
January 14, 2025 08:24 4m 6s develop
develop
January 14, 2025 08:24 4m 6s
Reduce ax-pow and ax-un usage (#4567) verifiers #8743: Commit 109857e pushed by wlammen
January 14, 2025 05:46 3m 54s develop
develop
January 14, 2025 05:46 3m 54s
shorten proofs (#4569) verifiers #8742: Commit 9832dbb pushed by wlammen
January 13, 2025 16:58 22s develop
develop
January 13, 2025 16:58 22s
Subfields generated by a set verifiers #8741: Pull request #4553 synchronize by tirix
January 13, 2025 13:22 3m 42s tirix:fldgen
tirix:fldgen
January 13, 2025 13:22 3m 42s
Subfields generated by a set verifiers #8740: Pull request #4553 synchronize by tirix
January 13, 2025 12:36 3m 33s tirix:fldgen
tirix:fldgen
January 13, 2025 12:36 3m 33s
shorten proofs verifiers #8739: Pull request #4569 opened by wlammen
January 13, 2025 10:20 39m 20s wlammen:wl-r
wlammen:wl-r
January 13, 2025 10:20 39m 20s
Subfields generated by a set verifiers #8738: Pull request #4553 synchronize by tirix
January 13, 2025 09:37 3m 40s tirix:fldgen
tirix:fldgen
January 13, 2025 09:37 3m 40s
RP Mathbox Ordinals, Utilities, Surreals verifiers #8737: Pull request #4568 synchronize by arpie-steele
January 13, 2025 07:45 2m 59s arpie-steele:rpenner2412b
arpie-steele:rpenner2412b
January 13, 2025 07:45 2m 59s
RP Mathbox Ordinals, Utilities, Surreals verifiers #8736: Pull request #4568 synchronize by arpie-steele
January 13, 2025 07:38 3m 10s arpie-steele:rpenner2412b
arpie-steele:rpenner2412b
January 13, 2025 07:38 3m 10s