Skip to content

Actions: teorth/equational_theories

Actions

All workflows

Actions

Loading...
Loading

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

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Write the rewriting background + confluence bits Disclaim Issue #1286: Issue comment #1055 (comment) created by teorth
January 24, 2025 20:38 3s
January 24, 2025 20:38 3s
Write the rewriting background + confluence bits Compile blueprint and paper #200: Pull request #1055 synchronize by codyroux
January 24, 2025 19:41 27m 11s codyroux:paper-confluence
codyroux:paper-confluence
January 24, 2025 19:41 27m 11s
analogical to #1064 (#1065) Compile blueprint and paper #199: Commit 1ce02a6 pushed by teorth
January 24, 2025 18:45 28m 30s main
main
January 24, 2025 18:45 28m 30s
analogical to #1064 Compile blueprint and paper #198: Pull request #1065 opened by madvorak
January 24, 2025 18:39 25m 52s madvorak:main
madvorak:main
January 24, 2025 18:39 25m 52s
fix typo (#1064) Compile blueprint and paper #197: Commit ad49dba pushed by teorth
January 24, 2025 16:54 27m 47s main
main
January 24, 2025 16:54 27m 47s
fix typo Compile blueprint and paper #196: Pull request #1064 opened by teorth
January 24, 2025 16:54 25m 53s fix-typo
fix-typo
January 24, 2025 16:54 25m 53s
equation 1729 formalisation Compile blueprint and paper #195: Pull request #1063 opened by Shreyas4991
January 24, 2025 15:04 25m 55s Shreyas4991:ramanujan_eq
Shreyas4991:ramanujan_eq
January 24, 2025 15:04 25m 55s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #191: Pull request #1054 synchronize by LorenzoLuccioli
January 23, 2025 18:47 26m 35s pitmonticone:1516-255
pitmonticone:1516-255
January 23, 2025 18:47 26m 35s
fix typo (#1062) Compile blueprint and paper #190: Commit 46d4082 pushed by teorth
January 23, 2025 17:06 26m 57s main
main
January 23, 2025 17:06 26m 57s
fix typo Compile blueprint and paper #189: Pull request #1062 opened by teorth
January 23, 2025 17:06 26m 5s fix-typo
fix-typo
January 23, 2025 17:06 26m 5s
missing operator (#1061) Compile blueprint and paper #188: Commit dbcc35f pushed by teorth
January 23, 2025 15:09 28m 13s main
main
January 23, 2025 15:09 28m 13s
missing operator Compile blueprint and paper #186: Pull request #1061 opened by madvorak
January 23, 2025 12:17 26m 12s madvorak:main
madvorak:main
January 23, 2025 12:17 26m 12s
chore: golf Definability (#1060) Compile blueprint and paper #185: Commit 3a7670d pushed by pitmonticone
January 23, 2025 01:15 26m 30s main
main
January 23, 2025 01:15 26m 30s
chore: golf Definability Compile blueprint and paper #184: Pull request #1060 opened by pitmonticone
January 23, 2025 01:14 26m 44s pitmonticone/Definability-golf
pitmonticone/Definability-golf
January 23, 2025 01:14 26m 44s
golf a bit Compile blueprint and paper #183: Commit 3066e40 pushed by pitmonticone
January 21, 2025 23:12 26m 4s main
main
January 21, 2025 23:12 26m 4s
chore: golf Subgraph.lean (#1059) Compile blueprint and paper #182: Commit fd746d9 pushed by pitmonticone
January 21, 2025 22:39 26m 10s main
main
January 21, 2025 22:39 26m 10s
chore: golf Subgraph.lean Compile blueprint and paper #181: Pull request #1059 synchronize by pitmonticone
January 21, 2025 22:37 25m 7s pitmonticone/golf-subgraph
pitmonticone/golf-subgraph
January 21, 2025 22:37 25m 7s
chore: golf Subgraph.lean Compile blueprint and paper #180: Pull request #1059 opened by pitmonticone
January 21, 2025 22:35 2m 10s pitmonticone/golf-subgraph
pitmonticone/golf-subgraph
January 21, 2025 22:35 2m 10s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #179: Pull request #1054 synchronize by pitmonticone
January 21, 2025 22:30 24m 30s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 22:30 24m 30s
Codyroux/boolean ring Compile blueprint and paper #178: Pull request #708 synchronize by codyroux
January 21, 2025 21:39 24m 44s codyroux:codyroux/boolean-ring
codyroux:codyroux/boolean-ring
January 21, 2025 21:39 24m 44s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #177: Pull request #1054 synchronize by LorenzoLuccioli
January 21, 2025 17:43 23s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:43 23s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #175: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:31 25m 14s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:31 25m 14s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #174: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:26 5m 37s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:26 5m 37s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #173: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:23 3m 10s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:23 3m 10s
GREEDY-GREEDY HYBRID: Refute 1516->255 Compile blueprint and paper #172: Pull request #1054 synchronize by pitmonticone
January 21, 2025 17:21 2m 56s pitmonticone:1516-255
pitmonticone:1516-255
January 21, 2025 17:21 2m 56s