Skip to content

Actions: teorth/equational_theories

Actions

Lint Style

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
lint.yml
This workflow was disabled manually.
1,009 workflow runs
1,009 workflow runs

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

Update labels-from-comments.yml Lint Style #166: Commit 5107fc9 pushed by Shreyas4991
September 28, 2024 09:05 9s main
main
September 28, 2024 09:05 9s
Massive generation of refutations via polynomials over Z/nZ Lint Style #165: Pull request #19 synchronize by nomeata
September 28, 2024 08:55 14s nomeata:finite_poly_refutation
nomeata:finite_poly_refutation
September 28, 2024 08:55 14s
Massive generation of refutations via polynomials over Z/nZ Lint Style #164: Pull request #19 synchronize by nomeata
September 28, 2024 08:50 16s nomeata:finite_poly_refutation
nomeata:finite_poly_refutation
September 28, 2024 08:50 16s
Merge pull request #48 from teorth/joachim/all_equations Lint Style #163: Commit c0bf29b pushed by nomeata
September 28, 2024 08:46 10s main
main
September 28, 2024 08:46 10s
Introduce AllEquations.lean Lint Style #162: Pull request #48 synchronize by nomeata
September 28, 2024 08:34 9s joachim/all_equations
joachim/all_equations
September 28, 2024 08:34 9s
Introduce AllEquations.lean Lint Style #161: Pull request #48 opened by nomeata
September 28, 2024 08:34 15s joachim/all_equations
joachim/all_equations
September 28, 2024 08:34 15s
proof of 46 implies 40 Lint Style #160: Pull request #46 opened by goens
September 28, 2024 07:29 11s goens:46implies40
goens:46implies40
September 28, 2024 07:29 11s
[DO NOT MERGE] Deep-embed graph Lint Style #159: Pull request #45 opened by alxest
September 28, 2024 05:23 Action required alxest:deepembed-graph
alxest:deepembed-graph
September 28, 2024 05:23 Action required
Auto-generated proofs for all laws trivially implying Eq2 (singleton) and Eq46 (constant) Lint Style #158: Pull request #44 opened by amirlb
September 28, 2024 04:59 10s amirlb:singleton-laws
amirlb:singleton-laws
September 28, 2024 04:59 10s
Add 5 and 40 proof_wanteds Lint Style #157: Commit 7ecef5a pushed by teorth
September 28, 2024 04:49 16s main
main
September 28, 2024 04:49 16s
Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #156: Commit 136f375 pushed by teorth
September 28, 2024 04:30 14s main
main
September 28, 2024 04:30 14s
Merge pull request #39 from ChienYungChi/PR-39 Lint Style #155: Commit 8019646 pushed by teorth
September 28, 2024 04:30 10s main
main
September 28, 2024 04:30 10s
Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #154: Commit d4ad865 pushed by teorth
September 28, 2024 03:39 12s main
main
September 28, 2024 03:39 12s
SUBGRAPH: Prove that 38 and 42 are equivalent Lint Style #153: Pull request #39 synchronize by ChienYungChi
September 28, 2024 03:39 9s ChienYungChi:PR-39
ChienYungChi:PR-39
September 28, 2024 03:39 9s
Merge pull request #42 from gl3nnleblanc/main Lint Style #152: Commit 749679b pushed by teorth
September 28, 2024 03:38 9s main
main
September 28, 2024 03:38 9s
Merge pull request #22 from dwrensha/extract-implications Lint Style #151: Commit 6566506 pushed by teorth
September 28, 2024 03:25 14s main
main
September 28, 2024 03:25 14s
Two more implications from equation 5 Lint Style #150: Pull request #42 opened by gl3nnleblanc
September 28, 2024 03:21 11s gl3nnleblanc:main
gl3nnleblanc:main
September 28, 2024 03:21 11s
add extract_implications.lean Lint Style #149: Pull request #22 synchronize by dwrensha
September 28, 2024 02:59 9s dwrensha:extract-implications
dwrensha:extract-implications
September 28, 2024 02:59 9s
add extract_implications.lean Lint Style #148: Pull request #22 synchronize by dwrensha
September 28, 2024 02:58 9s dwrensha:extract-implications
dwrensha:extract-implications
September 28, 2024 02:58 9s
Merge pull request #41 from dwrensha/subgraph-namespace-blueprint Lint Style #147: Commit 0adb08f pushed by teorth
September 28, 2024 02:58 13s main
main
September 28, 2024 02:58 13s
update blueprint for new Subgraph namespace Lint Style #146: Pull request #41 opened by dwrensha
September 28, 2024 02:43 11s dwrensha:subgraph-namespace-blueprint
dwrensha:subgraph-namespace-blueprint
September 28, 2024 02:43 11s
SUBGRAPH: Prove that 38 and 42 are equivalent Lint Style #145: Pull request #39 synchronize by ChienYungChi
September 28, 2024 02:29 13s ChienYungChi:PR-39
ChienYungChi:PR-39
September 28, 2024 02:29 13s
more provers Lint Style #144: Commit 1f5efe7 pushed by teorth
September 28, 2024 02:21 20s main
main
September 28, 2024 02:21 20s
SUBGRAPH: Prove that 38 and 42 are equivalent Lint Style #143: Pull request #39 opened by ChienYungChi
September 28, 2024 01:54 9s ChienYungChi:main
ChienYungChi:main
September 28, 2024 01:54 9s
Merge branch 'main' of https://github.com/teorth/equational_theories Lint Style #142: Commit aa28c24 pushed by teorth
September 28, 2024 01:25 11s main
main
September 28, 2024 01:25 11s
ProTip! You can narrow down the results and go further in time using created:<2024-09-28 or the other filters available.