Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Finish rename of syl5bir to biimtrrid (#4613) verifiers #8926: Commit 6fb8c4b pushed by jkingdon
January 31, 2025 06:49 17s develop
develop
January 31, 2025 06:49 17s
Finish rename of syl5bir to biimtrrid verifiers #8925: Pull request #4613 opened by jkingdon
January 30, 2025 21:00 3m 52s jkingdon:biimtrrid-5
jkingdon:biimtrrid-5
January 30, 2025 21:00 3m 52s
use a permalink in github link (#4608) verifiers #8924: Commit 28b24ae pushed by wlammen
January 30, 2025 05:15 3m 40s develop
develop
January 30, 2025 05:15 3m 40s
Results about the sup function, measurable functions, and sigma-algeb… verifiers #8923: Commit 0644b6f pushed by wlammen
January 30, 2025 05:14 2m 52s develop
develop
January 30, 2025 05:14 2m 52s
Surreal numbers - Cofinality and Coinitiality verifiers #8922: Pull request #4610 synchronize by sctfn
January 29, 2025 02:41 3m 27s surreal-cofinality
surreal-cofinality
January 29, 2025 02:41 3m 27s
Merge branch 'develop' into surreal-cofinality verifiers #8921: Commit 945626d pushed by sctfn
January 29, 2025 02:41 2m 48s surreal-cofinality
surreal-cofinality
January 29, 2025 02:41 2m 48s
Add ring divisibility to iset.mm (#4609) verifiers #8920: Commit dfbe10b pushed by jkingdon
January 28, 2025 23:43 2m 49s develop
develop
January 28, 2025 23:43 2m 49s
Rename syl5bir to biimtrrid (part 4) (#4612) verifiers #8919: Commit fa9ab81 pushed by jkingdon
January 28, 2025 14:17 2m 52s develop
develop
January 28, 2025 14:17 2m 52s
Constructible numbers - initial idea (#4578) verifiers #8918: Commit 6a72b54 pushed by tirix
January 28, 2025 12:49 3m 20s develop
develop
January 28, 2025 12:49 3m 20s
Unification of terms "ring unit" resp. "multiplicative identity" (ise… verifiers #8917: Commit 08c7f65 pushed by avekens
January 28, 2025 06:22 2m 54s develop
develop
January 28, 2025 06:22 2m 54s
Rename syl5bir to biimtrrid (part 4) verifiers #8916: Pull request #4612 opened by jkingdon
January 28, 2025 01:25 3m 45s jkingdon:biimtrrid-4
jkingdon:biimtrrid-4
January 28, 2025 01:25 3m 45s
Add ordinal exponentiation notes to iset.mm verifiers #8915: Pull request #4611 opened by jkingdon
January 28, 2025 00:45 3m 17s jkingdon:oexp
jkingdon:oexp
January 28, 2025 00:45 3m 17s
Surreal numbers - Cofinality and Coinitiality verifiers #8914: Pull request #4610 opened by sctfn
January 28, 2025 00:01 2m 55s surreal-cofinality
surreal-cofinality
January 28, 2025 00:01 2m 55s
Document moves verifiers #8913: Commit a599e8b pushed by sctfn
January 27, 2025 23:59 3m 47s surreal-cofinality
surreal-cofinality
January 27, 2025 23:59 3m 47s
provide the beginnings of negsprop verifiers #8912: Commit c6bd3e2 pushed by sctfn
January 27, 2025 23:46 2m 53s surreal-negation
surreal-negation
January 27, 2025 23:46 2m 53s
Add ring divisibility to iset.mm verifiers #8911: Pull request #4609 opened by jkingdon
January 27, 2025 23:39 4m 5s jkingdon:dvdsr
jkingdon:dvdsr
January 27, 2025 23:39 4m 5s
Results about the sup function, measurable functions, and sigma-algebras verifiers #8910: Pull request #4606 synchronize by glacode
January 27, 2025 19:51 4m 17s glacode:MEASURE
glacode:MEASURE
January 27, 2025 19:51 4m 17s
Results about the sup function, measurable functions, and sigma-algebras verifiers #8909: Pull request #4606 synchronize by glacode
January 27, 2025 18:11 3m 52s glacode:MEASURE
glacode:MEASURE
January 27, 2025 18:11 3m 52s
fix wl-issetft (#4607) verifiers #8908: Commit 55a0598 pushed by wlammen
January 27, 2025 15:22 23s develop
develop
January 27, 2025 15:22 23s
use a permalink in github link verifiers #8907: Pull request #4608 opened by digama0
January 27, 2025 15:07 2m 55s permalink
permalink
January 27, 2025 15:07 2m 55s
use a permalink in github link verifiers #8906: Commit 74a1440 pushed by digama0
January 27, 2025 15:06 3m 49s permalink
permalink
January 27, 2025 15:06 3m 49s
fix wl-issetft verifiers #8905: Pull request #4607 synchronize by wlammen
January 27, 2025 11:43 2m 51s wlammen:wl-1
wlammen:wl-1
January 27, 2025 11:43 2m 51s
fix wl-issetft verifiers #8904: Pull request #4607 opened by wlammen
January 27, 2025 11:35 3m 7s wlammen:wl-1
wlammen:wl-1
January 27, 2025 11:35 3m 7s
shorten vtoclg, vtoclegft, vtoclf (#4605) verifiers #8903: Commit dd242b7 pushed by wlammen
January 27, 2025 01:21 17s develop
develop
January 27, 2025 01:21 17s
Constructible numbers - initial idea verifiers #8902: Pull request #4578 synchronize by tirix
January 26, 2025 22:19 2m 54s tirix:constr
tirix:constr
January 26, 2025 22:19 2m 54s