Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

Showing runs from all workflows
11,936 workflow runs
11,936 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

blueprint: fix proof of a lemma about 677 (#1079) Compile blueprint and paper #266: Commit 6ba6eec pushed by pitmonticone
February 11, 2025 19:58 28m 19s main
main
February 11, 2025 19:58 28m 19s
blueprint: fix proof of a lemma about 677 Compile blueprint and paper #265: Pull request #1079 synchronize by pitmonticone
February 11, 2025 19:05 27m 27s pitmonticone:LL/blueprint_677_fix
pitmonticone:LL/blueprint_677_fix
February 11, 2025 19:05 27m 27s
blueprint: fix proof of a lemma about 677 Compile blueprint and paper #264: Pull request #1079 opened by LorenzoLuccioli
February 11, 2025 18:16 26m 56s pitmonticone:LL/blueprint_677_fix
pitmonticone:LL/blueprint_677_fix
February 11, 2025 18:16 26m 56s
add Berman-Burris reference (#1078) Compile blueprint and paper #263: Commit c71c4d6 pushed by teorth
February 9, 2025 00:15 27m 8s main
main
February 9, 2025 00:15 27m 8s
add Berman-Burris reference Compile blueprint and paper #262: Pull request #1078 synchronize by teorth
February 9, 2025 00:15 26m 40s berman-burris-ref
berman-burris-ref
February 9, 2025 00:15 26m 40s
add Berman-Burris reference Compile blueprint and paper #261: Pull request #1078 opened by teorth
February 9, 2025 00:15 15s berman-burris-ref
berman-burris-ref
February 9, 2025 00:15 15s
Eq1323 not implies eq2744 Compile blueprint and paper #260: Pull request #1021 synchronize by amirlb
February 6, 2025 20:03 4m 33s amirlb:eq1323_not_implies_eq2744
amirlb:eq1323_not_implies_eq2744
February 6, 2025 20:03 4m 33s
GREEDY-GREEDY HYBRID: Refute 1516->255 (#1054) Compile blueprint and paper #259: Commit ee0c7b6 pushed by teorth
February 5, 2025 22:30 27m 23s main
main
February 5, 2025 22:30 27m 23s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #258: Pull request #1054 synchronize by pitmonticone
February 5, 2025 21:39 26m 27s pitmonticone:1516-255
pitmonticone:1516-255
February 5, 2025 21:39 26m 27s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #257: Pull request #1054 synchronize by pitmonticone
February 5, 2025 18:18 27m 7s pitmonticone:1516-255
pitmonticone:1516-255
February 5, 2025 18:18 27m 7s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #256: Pull request #1054 synchronize by pitmonticone
February 5, 2025 17:21 27m 7s pitmonticone:1516-255
pitmonticone:1516-255
February 5, 2025 17:21 27m 7s
add forward ref to duality (#1077) Compile blueprint and paper #252: Commit 6c28f1d pushed by teorth
February 5, 2025 02:25 26m 57s main
main
February 5, 2025 02:25 26m 57s
add forward ref to duality Compile blueprint and paper #251: Pull request #1077 opened by teorth
February 4, 2025 17:42 27m 1s add-forward-ref
add-forward-ref
February 4, 2025 17:42 27m 1s
remove redundant items (#1076) Compile blueprint and paper #250: Commit ded5d06 pushed by teorth
February 4, 2025 17:13 28m 32s main
main
February 4, 2025 17:13 28m 32s
remove redundant items Compile blueprint and paper #249: Pull request #1076 opened by teorth
February 4, 2025 17:13 27m 27s fix-merge-conflicts
fix-merge-conflicts
February 4, 2025 17:13 27m 27s
255-equiv (#1075) Compile blueprint and paper #248: Commit e4da598 pushed by teorth
February 4, 2025 17:12 1m 22s main
main
February 4, 2025 17:12 1m 22s
255-equiv Compile blueprint and paper #247: Pull request #1075 synchronize by teorth
February 4, 2025 17:11 27m 4s 255-equiv
255-equiv
February 4, 2025 17:11 27m 4s
chore(ManuallyProved/Equation1692): golf a bit more Compile blueprint and paper #246: Commit 11455f3 pushed by pitmonticone
February 3, 2025 10:49 28m 23s main
main
February 3, 2025 10:49 28m 23s
add Bruno's observations (#1074) Compile blueprint and paper #245: Commit 327b224 pushed by teorth
February 2, 2025 23:08 27m 24s main
main
February 2, 2025 23:08 27m 24s
add Bruno's observations Compile blueprint and paper #244: Pull request #1074 synchronize by teorth
February 2, 2025 23:08 26m 25s update-677
update-677
February 2, 2025 23:08 26m 25s
add Bruno's observations Compile blueprint and paper #243: Pull request #1074 opened by teorth
February 2, 2025 23:08 21s update-677
update-677
February 2, 2025 23:08 21s
chore: golf 1692 a bit more (#1073) Compile blueprint and paper #242: Commit dc00332 pushed by pitmonticone
February 2, 2025 20:35 27m 40s main
main
February 2, 2025 20:35 27m 40s
chore: golf 1692 a bit more Compile blueprint and paper #241: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:07 27m 23s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:07 27m 23s
chore: golf 1692 a bit more Compile blueprint and paper #240: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:05 2m 29s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:05 2m 29s
chore: golf 1692 a bit more Compile blueprint and paper #239: Pull request #1073 synchronize by pitmonticone
February 2, 2025 02:03 2m 21s pitmonticone/golf-1692
pitmonticone/golf-1692
February 2, 2025 02:03 2m 21s