Skip to content

Actions: metamath/set.mm

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Founded partial induction verifiers #7864: Pull request #4290 synchronize by sctfn
October 15, 2024 22:14 2m 15s founded-partial-induction
founded-partial-induction
October 15, 2024 22:14 2m 15s
rewrap verifiers #7863: Commit 670f5fd pushed by sctfn
October 15, 2024 22:12 2m 28s founded-partial-induction
founded-partial-induction
October 15, 2024 22:12 2m 28s
Founded partial induction verifiers #7862: Pull request #4290 synchronize by sctfn
October 15, 2024 22:10 2m 42s founded-partial-induction
founded-partial-induction
October 15, 2024 22:10 2m 42s
use standard terminology verifiers #7861: Commit 158b256 pushed by sctfn
October 15, 2024 22:09 3m 4s founded-partial-induction
founded-partial-induction
October 15, 2024 22:09 3m 4s
Founded partial induction verifiers #7860: Pull request #4290 synchronize by sctfn
October 15, 2024 20:15 2m 34s founded-partial-induction
founded-partial-induction
October 15, 2024 20:15 2m 34s
rewrap verifiers #7859: Commit a4dc108 pushed by sctfn
October 15, 2024 20:14 3m 4s founded-partial-induction
founded-partial-induction
October 15, 2024 20:14 3m 4s
Founded partial induction verifiers #7858: Pull request #4290 synchronize by sctfn
October 15, 2024 20:03 2m 24s founded-partial-induction
founded-partial-induction
October 15, 2024 20:03 2m 24s
fixed naming conventions and line indentation verifiers #7857: Commit 664fddf pushed by sctfn
October 15, 2024 20:01 5m 4s founded-partial-induction
founded-partial-induction
October 15, 2024 20:01 5m 4s
Reduce ax-10, ax-11, ax-12 usage verifiers #7856: Pull request #4292 synchronize by GinoGiotto
October 15, 2024 19:59 2m 28s GinoGiotto:PR_15
GinoGiotto:PR_15
October 15, 2024 19:59 2m 28s
Add (another) shorter ax-groth equivalent (#4273) verifiers #7855: Commit 8ad8596 pushed by benjub
October 15, 2024 19:32 2m 27s develop
develop
October 15, 2024 19:32 2m 27s
Thin categories, prosets as categories, and poset/toset/lattice verifiers #7854: Pull request #4248 synchronize by zwang123
October 15, 2024 16:29 2m 21s zwang123:thin-cat-3
zwang123:thin-cat-3
October 15, 2024 16:29 2m 21s
Reduce ax-10, ax-11, ax-12 usage verifiers #7853: Pull request #4292 synchronize by GinoGiotto
October 15, 2024 15:08 3m 2s GinoGiotto:PR_15
GinoGiotto:PR_15
October 15, 2024 15:08 3m 2s
Reduce ax-10, ax-11, ax-12 usage verifiers #7852: Pull request #4292 synchronize by GinoGiotto
October 15, 2024 15:06 3m 20s GinoGiotto:PR_15
GinoGiotto:PR_15
October 15, 2024 15:06 3m 20s
reduce axiom footprint of eloprabga verifiers #7851: Pull request #4293 opened by wlammen
October 15, 2024 14:45 2m 36s wlammen:wl-1
wlammen:wl-1
October 15, 2024 14:45 2m 36s
Reduce ax-10, ax-11, ax-12 usage verifiers #7850: Pull request #4292 opened by GinoGiotto
October 15, 2024 14:39 2m 32s GinoGiotto:PR_15
GinoGiotto:PR_15
October 15, 2024 14:39 2m 32s
Founded partial induction verifiers #7849: Pull request #4290 synchronize by sctfn
October 15, 2024 11:18 2m 35s founded-partial-induction
founded-partial-induction
October 15, 2024 11:18 2m 35s
note founded partial induction theorems in changes-set.txt verifiers #7848: Commit cc0c47c pushed by sctfn
October 15, 2024 11:16 3m 8s founded-partial-induction
founded-partial-induction
October 15, 2024 11:16 3m 8s
Revision of extensible structure theorems (1) verifiers #7847: Pull request #4291 synchronize by avekens
October 15, 2024 06:57 2m 14s avekens:av-extstr
avekens:av-extstr
October 15, 2024 06:57 2m 14s
Revision of extensible structure theorems (1) verifiers #7846: Pull request #4291 opened by avekens
October 15, 2024 06:50 2m 50s avekens:av-extstr
avekens:av-extstr
October 15, 2024 06:50 2m 50s
Add (another) shorter ax-groth equivalent verifiers #7845: Pull request #4273 synchronize by CatsAreFluffy
October 15, 2024 06:46 2m 39s CatsAreFluffy:grothshort
CatsAreFluffy:grothshort
October 15, 2024 06:46 2m 39s
Expand basendx comment (#4283) verifiers #7844: Commit d6bd32b pushed by jkingdon
October 15, 2024 06:07 2m 24s develop
develop
October 15, 2024 06:07 2m 24s
Founded partial induction verifiers #7843: Pull request #4290 opened by sctfn
October 14, 2024 22:51 2m 59s founded-partial-induction
founded-partial-induction
October 14, 2024 22:51 2m 59s
move founded partial induction to main verifiers #7842: Commit 0213603 pushed by sctfn
October 14, 2024 22:49 2m 48s founded-partial-induction
founded-partial-induction
October 14, 2024 22:49 2m 48s
Add trpred; comment edits. (#4287) verifiers #7841: Commit 3cc531e pushed by benjub
October 14, 2024 17:50 2m 15s develop
develop
October 14, 2024 17:50 2m 15s
Remove DV conditions (#4289) verifiers #7840: Commit ed5f336 pushed by benjub
October 14, 2024 17:49 2m 26s develop
develop
October 14, 2024 17:49 2m 26s