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

Constructible numbers - initial idea verifiers #8785: Pull request #4578 synchronize by tirix
January 17, 2025 06:40 2m 59s tirix:constr
tirix:constr
January 17, 2025 06:40 2m 59s
Constructible numbers - initial idea verifiers #8784: Pull request #4578 synchronize by tirix
January 17, 2025 06:40 2m 43s tirix:constr
tirix:constr
January 17, 2025 06:40 2m 43s
Surreal Ordering and Birthday verifiers #8783: Pull request #4579 opened by sctfn
January 17, 2025 01:08 3m 25s surreal-order-bday
surreal-order-bday
January 17, 2025 01:08 3m 25s
document changes verifiers #8782: Commit cac305a pushed by sctfn
January 17, 2025 01:07 3m 3s surreal-order-bday
surreal-order-bday
January 17, 2025 01:07 3m 3s
Surreal Full-Eta, part 2 (#4577) verifiers #8781: Commit 9765562 pushed by sctfn
January 17, 2025 01:02 3m 36s develop
develop
January 17, 2025 01:02 3m 36s
Constructible numbers - initial idea verifiers #8780: Pull request #4578 opened by tirix
January 16, 2025 23:57 2m 44s tirix:constr
tirix:constr
January 16, 2025 23:57 2m 44s
Prove elALT from sels and sels from el. Add vsnex, snexg. (#4571) verifiers #8779: Commit b740988 pushed by benjub
January 16, 2025 22:28 2m 48s develop
develop
January 16, 2025 22:28 2m 48s
Intuitionize section "Opposite ring" (#4572) verifiers #8778: Commit 3973cb6 pushed by jkingdon
January 16, 2025 21:07 2m 52s develop
develop
January 16, 2025 21:07 2m 52s
Surreal Full-Eta, part 2 verifiers #8777: Pull request #4577 opened by sctfn
January 16, 2025 18:33 3m 10s surreal-eta-2
surreal-eta-2
January 16, 2025 18:33 3m 10s
document moves verifiers #8776: Commit 19e420a pushed by sctfn
January 16, 2025 18:31 4m 51s surreal-eta-2
surreal-eta-2
January 16, 2025 18:31 4m 51s
Surreals - Full Eta 1 (#4576) verifiers #8775: Commit ef5a974 pushed by sctfn
January 16, 2025 18:24 18s develop
develop
January 16, 2025 18:24 18s
Surreals - Full Eta 1 verifiers #8774: Pull request #4576 synchronize by avekens
January 16, 2025 18:09 3m 48s surreal-eta-1
surreal-eta-1
January 16, 2025 18:09 3m 48s
Merge branch 'develop' into surreal-eta-1 verifiers #8773: Commit 12357a0 pushed by avekens
January 16, 2025 18:09 3m 19s surreal-eta-1
surreal-eta-1
January 16, 2025 18:09 3m 19s
shorten rabeqc, iunid, cshwsexa (#4575) verifiers #8772: Commit e3ed215 pushed by wlammen
January 16, 2025 10:25 3m 41s develop
develop
January 16, 2025 10:25 3m 41s
The field of rational numbers QQ is generated by 1 (#4574) verifiers #8771: Commit 0ff6585 pushed by wlammen
January 16, 2025 10:25 3m 28s develop
develop
January 16, 2025 10:25 3m 28s
commutativity of ring is invariant under isomorphism (#4555) verifiers #8770: Commit 8a48ee8 pushed by wlammen
January 16, 2025 10:24 3m 5s develop
develop
January 16, 2025 10:24 3m 5s
RP Mathbox Ordinals, Utilities, Surreals (#4568) verifiers #8769: Commit f499954 pushed by wlammen
January 16, 2025 10:23 3m 34s develop
develop
January 16, 2025 10:23 3m 34s
Surreals - Full Eta 1 verifiers #8768: Pull request #4576 opened by sctfn
January 16, 2025 00:55 1h 26m 17s surreal-eta-1
surreal-eta-1
January 16, 2025 00:55 1h 26m 17s
document changes verifiers #8767: Commit 580059e pushed by sctfn
January 16, 2025 00:54 3m 10s surreal-eta-1
surreal-eta-1
January 16, 2025 00:54 3m 10s
mathbox: add axioms for finite unions. (#4566) verifiers #8766: Commit 9c441f2 pushed by sctfn
January 16, 2025 00:41 21s surreal-eta-1
surreal-eta-1
January 16, 2025 00:41 21s
Prove elALT from sels. Fix a typo. verifiers #8765: Pull request #4571 synchronize by benjub
January 15, 2025 22:34 21m 11s benjub:minor
benjub:minor
January 15, 2025 22:34 21m 11s
mathbox: add axioms for finite unions. (#4566) verifiers #8764: Commit 9c441f2 pushed by benjub
January 15, 2025 21:59 4m 52s develop
develop
January 15, 2025 21:59 4m 52s
shorten rabeqc, iunid, cshwsexa verifiers #8763: Pull request #4575 opened by icecream17
January 15, 2025 21:15 1h 44m 12s icecream17:develop
icecream17:develop
January 15, 2025 21:15 1h 44m 12s
fix order of theorems in df-rab section (#4573) verifiers #8762: Commit 3b78243 pushed by wlammen
January 15, 2025 17:18 21s develop
develop
January 15, 2025 17:18 21s
The field of rational numbers QQ is generated by 1 verifiers #8761: Pull request #4574 synchronize by tirix
January 15, 2025 13:27 3m 56s tirix:1fldgenq
tirix:1fldgenq
January 15, 2025 13:27 3m 56s