Skip to content

Actions: mazsa/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
143 workflow runs
143 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

df-parts, partsuc verifiers #378: Commit 6c0037d pushed by mazsa
January 3, 2025 13:26 3m 39s mazsa-pet
mazsa-pet
January 3, 2025 13:26 3m 39s
df-parts, partsuc verifiers #377: Commit 608be6c pushed by mazsa
January 3, 2025 13:15 3m 1s mazsa-pet
mazsa-pet
January 3, 2025 13:15 3m 1s
WIP verifiers #376: Commit aa73b02 pushed by mazsa
January 3, 2025 13:15 2m 1s mazsa-pet
mazsa-pet
January 3, 2025 13:15 2m 1s
df-parts, partsuc verifiers #375: Commit c06e48c pushed by mazsa
January 3, 2025 13:03 2m 2s mazsa-pet
mazsa-pet
January 3, 2025 13:03 2m 2s
dfantisymrel4, antisymrelressn verifiers #374: Commit 4a97e01 pushed by mazsa
January 3, 2025 10:40 18s mazsa-pet
mazsa-pet
January 3, 2025 10:40 18s
Merge branch 'metamath:develop' into mazsa-pet verifiers #373: Commit d87c339 pushed by mazsa
January 3, 2025 10:28 2m 57s mazsa-pet
mazsa-pet
January 3, 2025 10:28 2m 57s
rewrite restricted quantifiers # 7 (#4523) verifiers #372: Commit 5afff8a pushed by mazsa
January 3, 2025 10:28 2m 55s mazsa-develop
mazsa-develop
January 3, 2025 10:28 2m 55s
Rename syl5bi to biimtrid (part 3) (#4524) verifiers #371: Commit 4edddb3 pushed by mazsa
January 3, 2025 10:02 3m 48s mazsa-develop
mazsa-develop
January 3, 2025 10:02 3m 48s
dfantisymrel4, antisymrelressn verifiers #370: Commit 12e7339 pushed by mazsa
January 3, 2025 10:01 3m 1s mazsa-pet
mazsa-pet
January 3, 2025 10:01 3m 1s
Merge branch 'metamath:develop' into mazsa-pet verifiers #369: Commit ec0dba4 pushed by mazsa
January 3, 2025 10:00 2m 56s mazsa-pet
mazsa-pet
January 3, 2025 10:00 2m 56s
dfantisymrel4, antisymrelressn verifiers #368: Commit 6ae3a4c pushed by mazsa
January 2, 2025 23:53 3m 28s mazsa-pet
mazsa-pet
January 2, 2025 23:53 3m 28s
suceqsneq verifiers #367: Commit 6a583e2 pushed by mazsa
January 2, 2025 21:15 3m 4s mazsa-pet
mazsa-pet
January 2, 2025 21:15 3m 4s
Merge branch 'metamath:develop' into mazsa-pet verifiers #366: Commit a8676b5 pushed by mazsa
January 2, 2025 21:14 4m 8s mazsa-pet
mazsa-pet
January 2, 2025 21:14 4m 8s
Add ~snssb to both set.mm and iset.mm; shorten corollaries. (#4519) verifiers #365: Commit 6f580b9 pushed by mazsa
January 2, 2025 21:14 3m 3s mazsa-develop
mazsa-develop
January 2, 2025 21:14 3m 3s
suceqsneq verifiers #364: Commit 0394b74 pushed by mazsa
January 2, 2025 18:57 2m 57s mazsa-pet
mazsa-pet
January 2, 2025 18:57 2m 57s
Merge branch 'metamath:develop' into mazsa-pet verifiers #363: Commit 7e3e316 pushed by mazsa
January 2, 2025 18:56 3m 46s mazsa-pet
mazsa-pet
January 2, 2025 18:56 3m 46s
Rename syl5bi to biimtrid (part 2) (#4520) verifiers #362: Commit 48fa9c2 pushed by mazsa
January 2, 2025 18:55 4m 23s mazsa-develop
mazsa-develop
January 2, 2025 18:55 4m 23s
suceqsneq verifiers #361: Commit 4f7570b pushed by mazsa
January 2, 2025 13:22 3m 47s mazsa-pet
mazsa-pet
January 2, 2025 13:22 3m 47s
trrelressn verifiers #360: Commit d95a3b2 pushed by mazsa
January 2, 2025 12:37 3m 38s mazsa-pet
mazsa-pet
January 2, 2025 12:37 3m 38s
refrelressn & necessary theorems verifiers #359: Commit 693aaaf pushed by mazsa
January 2, 2025 12:02 3m 47s mazsa-pet
mazsa-pet
January 2, 2025 12:02 3m 47s
Merge branch 'metamath:develop' into mazsa-pet verifiers #358: Commit b36bd9c pushed by mazsa
January 2, 2025 12:01 3m 9s mazsa-pet
mazsa-pet
January 2, 2025 12:01 3m 9s
Add theorems on domains of addition and multiplication in sigma-algeb… verifiers #357: Commit 3cc2910 pushed by mazsa
January 2, 2025 12:00 3m 36s mazsa-develop
mazsa-develop
January 2, 2025 12:00 3m 36s
refrelressn & necessary theorems verifiers #356: Commit ea5338b pushed by mazsa
January 2, 2025 00:31 2m 41s mazsa-pet
mazsa-pet
January 2, 2025 00:31 2m 41s
refrelressn & necessary theorems verifiers #355: Commit 730df4f pushed by mazsa
January 2, 2025 00:26 3m 46s mazsa-pet
mazsa-pet
January 2, 2025 00:26 3m 46s
refrelressn & necessary theorems verifiers #354: Commit 5422e91 pushed by mazsa
January 2, 2025 00:16 4m 24s mazsa-pet
mazsa-pet
January 2, 2025 00:16 4m 24s