Skip to content

Actions: mazsa/set.mm

Actions

verifiers

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
verifiers.yml
136 workflow runs
136 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

df-parts, partsuc verifiers #379: Commit f144e55 pushed by mazsa
January 3, 2025 13:34 2m 47s mazsa-pet
mazsa-pet
January 3, 2025 13:34 2m 47s
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