Skip to content

Actions: GinoGiotto/set.mm

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
1,334 workflow runs
1,334 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

syl5eq -> eqtrid # 41 (#4439) verifiers #1355: Commit 7944422 pushed by GinoGiotto
November 25, 2024 07:43 2m 37s base20
base20
November 25, 2024 07:43 2m 37s
syl5eq -> eqtrid # 32 (#4421) verifiers #1354: Commit 783a003 pushed by GinoGiotto
November 22, 2024 20:20 4m 5s base20
base20
November 22, 2024 20:20 4m 5s
shorten proofs verifiers #1353: Commit 6aca929 pushed by GinoGiotto
November 21, 2024 18:47 3m 33s base21
base21
November 21, 2024 18:47 3m 33s
prove ~aaan, ~eeor without ax-10 verifiers #1352: Commit b8800ea pushed by GinoGiotto
November 21, 2024 18:15 2m 41s base21
base21
November 21, 2024 18:15 2m 41s
prove sbrim without ax-10 (#4409) verifiers #1351: Commit 407e26c pushed by GinoGiotto
November 21, 2024 13:49 2m 41s base21
base21
November 21, 2024 13:49 2m 41s
syl5eq -> eqtrid # 27 (#4411) verifiers #1350: Commit 128c479 pushed by GinoGiotto
November 20, 2024 20:02 3m 40s base21
base21
November 20, 2024 20:02 3m 40s
rm sbrimvlem verifiers #1349: Commit 01ddc84 pushed by GinoGiotto
November 20, 2024 15:55 18s base20
base20
November 20, 2024 15:55 18s
prove sbrim without ax-10 verifiers #1348: Commit 87f6fe1 pushed by GinoGiotto
November 20, 2024 14:56 19s PR20
PR20
November 20, 2024 14:56 19s
prove sbrim without ax-10 verifiers #1347: Pull request #160 opened by GinoGiotto
November 20, 2024 14:55 21s base20
base20
November 20, 2024 14:55 21s
Prove coprimality of aks (#4382) verifiers #1346: Commit 2bbe55e pushed by GinoGiotto
November 20, 2024 14:43 24s PR20
PR20
November 20, 2024 14:43 24s
rm sbrimvlem verifiers #1345: Commit 01ddc84 pushed by GinoGiotto
November 20, 2024 14:43 2m 26s base20
base20
November 20, 2024 14:43 2m 26s
prove sbrim without ax-10 verifiers #1344: Commit 2c196e9 pushed by GinoGiotto
November 20, 2024 14:32 2m 27s base20
base20
November 20, 2024 14:32 2m 27s
Prove coprimality of aks (#4382) verifiers #1343: Commit 2bbe55e pushed by GinoGiotto
November 20, 2024 12:27 3m 42s base20
base20
November 20, 2024 12:27 3m 42s
shorten equsexv verifiers #1342: Commit 395e7cb pushed by GinoGiotto
November 19, 2024 21:37 2m 24s base19
base19
November 19, 2024 21:37 2m 24s
shorten dral1v again verifiers #1341: Commit c219d0e pushed by GinoGiotto
November 19, 2024 13:00 2m 25s base19
base19
November 19, 2024 13:00 2m 25s
shorten dral1v verifiers #1340: Commit e58da76 pushed by GinoGiotto
November 18, 2024 19:46 2m 27s base19
base19
November 18, 2024 19:46 2m 27s
prove theorems with fewer axioms verifiers #1339: Commit 67b225f pushed by GinoGiotto
November 18, 2024 18:13 2m 36s base19
base19
November 18, 2024 18:13 2m 36s
shorten/reorder fvpr(1|2)(g) (#4396) verifiers #1338: Commit 6fc69c8 pushed by GinoGiotto
November 17, 2024 10:19 3m 38s base19
base19
November 17, 2024 10:19 3m 38s
axiom saves for mpteq*, prove mhphf2 (+ofeqd) (#4385) verifiers #1337: Commit 2813f8e pushed by GinoGiotto
November 15, 2024 23:49 4m 5s base18
base18
November 15, 2024 23:49 4m 5s
iset: fix typo in ~ifelpwund and ~ifexd. (#4381) verifiers #1336: Commit 4b61080 pushed by GinoGiotto
November 11, 2024 22:39 3m 43s base17
base17
November 11, 2024 22:39 3m 43s
Aks R divides n^floor(lb B) (#4347) verifiers #1335: Commit 256e33d pushed by GinoGiotto
November 8, 2024 14:16 3m 44s base16
base16
November 8, 2024 14:16 3m 44s
shorten dfid2 verifiers #1334: Commit d704798 pushed by GinoGiotto
November 7, 2024 18:09 15m 28s base15
base15
November 7, 2024 18:09 15m 28s
shorten exexw verifiers #1333: Commit db7ff39 pushed by GinoGiotto
November 5, 2024 08:17 2m 30s base15
base15
November 5, 2024 08:17 2m 30s
restore empty line verifiers #1332: Commit 221a1ca pushed by GinoGiotto
November 5, 2024 07:48 3m 9s base15
base15
November 5, 2024 07:48 3m 9s
prove dfid2 with fewer axioms verifiers #1331: Commit 607c62d pushed by GinoGiotto
November 4, 2024 22:16 3m 2s base15
base15
November 4, 2024 22:16 3m 2s