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

Misc. Algebra verifiers #9200: Pull request #4675 opened by tirix
February 25, 2025 09:52 3m 45s tirix:constr
tirix:constr
February 25, 2025 09:52 3m 45s
revise df-lring in (i)set.mm (#4670) verifiers #9199: Commit 85bfc2d pushed by tirix
February 25, 2025 08:23 3m 9s develop
develop
February 25, 2025 08:23 3m 9s
abbi1 -> abbi (#4673) verifiers #9198: Commit 10ecfa0 pushed by wlammen
February 25, 2025 01:06 17s develop
develop
February 25, 2025 01:06 17s
rename identity theorems verifiers #9197: Pull request #4674 synchronize by sctfn
February 24, 2025 23:34 2m 56s rename-ids
rename-ids
February 24, 2025 23:34 2m 56s
list all changes verifiers #9196: Commit 65f91ce pushed by sctfn
February 24, 2025 23:34 3m 42s rename-ids
rename-ids
February 24, 2025 23:34 3m 42s
Moved theorem's from BJ's mathbox to main set.mm verifiers #9195: Pull request #4669 synchronize by glacode
February 24, 2025 22:19 2m 51s glacode:MEASURE
glacode:MEASURE
February 24, 2025 22:19 2m 51s
rename identity theorems verifiers #9194: Pull request #4674 synchronize by sctfn
February 24, 2025 19:02 3m 0s rename-ids
rename-ids
February 24, 2025 19:02 3m 0s
regen disc verifiers #9193: Commit 830b80e pushed by sctfn
February 24, 2025 19:02 3m 4s rename-ids
rename-ids
February 24, 2025 19:02 3m 4s
rename identity theorems verifiers #9192: Pull request #4674 synchronize by sctfn
February 24, 2025 19:00 3m 41s rename-ids
rename-ids
February 24, 2025 19:00 3m 41s
s/mulrid/mulridx/ verifiers #9191: Commit 94a8284 pushed by sctfn
February 24, 2025 19:00 3m 5s rename-ids
rename-ids
February 24, 2025 19:00 3m 5s
Moved theorem's from BJ's mathbox to main set.mm verifiers #9190: Pull request #4669 synchronize by glacode
February 24, 2025 18:43 3m 3s glacode:MEASURE
glacode:MEASURE
February 24, 2025 18:43 3m 3s
rename identity theorems verifiers #9189: Pull request #4674 opened by sctfn
February 24, 2025 17:51 2m 52s rename-ids
rename-ids
February 24, 2025 17:51 2m 52s
rename identity theorems verifiers #9188: Commit f81dbca pushed by sctfn
February 24, 2025 17:49 2m 56s rename-ids
rename-ids
February 24, 2025 17:49 2m 56s
abbi1 -> abbi verifiers #9187: Pull request #4673 opened by wlammen
February 24, 2025 17:43 2m 57s wlammen:wl-2
wlammen:wl-2
February 24, 2025 17:43 2m 57s
df-apr more wording (#4668) verifiers #9186: Commit 858f47e pushed by jkingdon
February 24, 2025 15:40 2m 46s develop
develop
February 24, 2025 15:40 2m 46s
abbi -> abbib (#4667) verifiers #9185: Commit 4110a4d pushed by wlammen
February 24, 2025 12:45 2m 52s develop
develop
February 24, 2025 12:45 2m 52s
revise df-lring in (i)set.mm verifiers #9184: Pull request #4670 synchronize by icecream17
February 24, 2025 08:55 3m 33s icecream17:develop
icecream17:develop
February 24, 2025 08:55 3m 33s
Dimension of the space of univariate polynomials of limited degree (#… verifiers #9183: Commit 61ae939 pushed by tirix
February 24, 2025 08:06 14s develop
develop
February 24, 2025 08:06 14s
Dimension of the space of univariate polynomials of limited degree verifiers #9182: Pull request #4663 synchronize by tirix
February 24, 2025 07:51 3m 6s tirix:constr
tirix:constr
February 24, 2025 07:51 3m 6s
Rename syl5ibr to imbitrrid (part 2) (#4672) verifiers #9181: Commit 9567bb6 pushed by jkingdon
February 24, 2025 06:37 16s develop
develop
February 24, 2025 06:37 16s
abbi -> abbib verifiers #9180: Pull request #4667 synchronize by wlammen
February 24, 2025 05:36 2m 59s wlammen:wl-abbib
wlammen:wl-abbib
February 24, 2025 05:36 2m 59s
Rename syl5ibr to imbitrrid (part 2) verifiers #9179: Pull request #4672 opened by jkingdon
February 24, 2025 03:22 5m 1s jkingdon:imbitrrid-2
jkingdon:imbitrrid-2
February 24, 2025 03:22 5m 1s
Surreal multiplication part one (#4666) verifiers #9178: Commit feb4402 pushed by sctfn
February 24, 2025 02:27 19s develop
develop
February 24, 2025 02:27 19s
ltlen implies the analytic Markov's Principle verifiers #9177: Pull request #4671 opened by jkingdon
February 23, 2025 23:35 2m 38s jkingdon:ltlen-taboo
jkingdon:ltlen-taboo
February 23, 2025 23:35 2m 38s
revise df-lring in (i)set.mm verifiers #9176: Pull request #4670 synchronize by icecream17
February 23, 2025 20:31 3m 41s icecream17:develop
icecream17:develop
February 23, 2025 20:31 3m 41s