Skip to content

Actions: teorth/equational_theories

Actions

Disclaim Issue

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
02-disclaim-issue.yml
33 workflow run results
33 workflow run results

Filter by Event

Filter by Status

Filter by Branch

Filter by Actor

update generate_dashboard to account for conjectures Disclaim Issue #33: Issue comment #214 (comment) created by teorth
October 2, 2024 23:35 2s
October 2, 2024 23:35 2s
Add explicit implications to Equation 1 Disclaim Issue #32: Issue comment #211 (comment) created by teorth
October 2, 2024 23:14 2s
October 2, 2024 23:14 2s
graphviz tool: always perform a closure->reduction Disclaim Issue #31: Issue comment #212 (comment) created by pitmonticone
October 2, 2024 23:12 1s
October 2, 2024 23:12 1s
Add description of some progress using lean-egg Disclaim Issue #30: Issue comment #210 (comment) created by pitmonticone
October 2, 2024 23:11 2s
October 2, 2024 23:11 2s
add generate_dashboard.py and invoke it in CI Disclaim Issue #29: Issue comment #201 (comment) created by fpvandoorn
October 2, 2024 22:21 3s
October 2, 2024 22:21 3s
add generate_dashboard.py and invoke it in CI Disclaim Issue #28: Issue comment #201 (comment) created by fpvandoorn
October 2, 2024 22:19 2s
October 2, 2024 22:19 2s
Add description of some progress using lean-egg Disclaim Issue #27: Issue comment #210 (comment) created by teorth
October 2, 2024 22:03 2s
October 2, 2024 22:03 2s
Add description of some progress using lean-egg Disclaim Issue #26: Issue comment #210 (comment) created by goens
October 2, 2024 21:32 2s
October 2, 2024 21:32 2s
fix dashboard url Disclaim Issue #25: Issue comment #208 (comment) created by dwrensha
October 2, 2024 20:01 2s
October 2, 2024 20:01 2s
Use Vampire to resolve almost all unknown implications (without proof) Disclaim Issue #24: Issue comment #206 (comment) created by teorth
October 2, 2024 19:44 2s
October 2, 2024 19:44 2s
Implications with egg Disclaim Issue #23: Issue comment #200 (comment) created by goens
October 2, 2024 19:34 3s
October 2, 2024 19:34 3s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Disclaim Issue #22: Issue comment #125 (comment) created by jscanvic
October 2, 2024 19:07 2s
October 2, 2024 19:07 2s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Disclaim Issue #21: Issue comment #125 (comment) created by jscanvic
October 2, 2024 19:07 2s
October 2, 2024 19:07 2s
Disclaim Issue Disclaim Issue #20: created by jscanvic
October 2, 2024 19:04 3s
October 2, 2024 19:04 3s
extact_implications: add --equivalence_creators flag to unknowns subcommand Disclaim Issue #19: Issue comment #197 (comment) created by amirlb
October 2, 2024 19:00 2s
October 2, 2024 19:00 2s
move dashboard.md -> dashboard/index.md. add links in readme and topbar Disclaim Issue #18: Issue comment #205 (comment) created by dwrensha
October 2, 2024 18:48 3s
October 2, 2024 18:48 3s
SUBGRAPH: Add the implications/anti-implications between 168 and the other equations as conjecture statements. Disclaim Issue #17: Issue comment #35 (comment) created by teorth
October 2, 2024 18:35 2s
October 2, 2024 18:35 2s
SUBGRAPH: Add the implications/anti-implications between 4564 and the other equations as conjecture statements. Disclaim Issue #16: Issue comment #76 (comment) created by teorth
October 2, 2024 18:34 2s
October 2, 2024 18:34 2s
SUBGRAPH: Add the implications/anti-implications between 4579 and the other equations as conjecture statements. Disclaim Issue #15: Issue comment #77 (comment) created by teorth
October 2, 2024 18:33 2s
October 2, 2024 18:33 2s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Disclaim Issue #14: Issue comment #125 (comment) created by jscanvic
October 2, 2024 18:30 2s
October 2, 2024 18:30 2s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Disclaim Issue #13: Issue comment #125 (comment) created by teorth
October 2, 2024 18:28 2s
October 2, 2024 18:28 2s
extact_implications: add --equivalence_creators flag to unknowns subcommand Disclaim Issue #12: Issue comment #197 (comment) created by teorth
October 2, 2024 18:24 2s
October 2, 2024 18:24 2s
FRONTEND: Use CI to auto-generate a Hasse diagram of the equations in Equations.lean, and display this image in README.md and blueprint Disclaim Issue #11: Issue comment #183 (comment) created by teorth
October 2, 2024 18:24 2s
October 2, 2024 18:24 2s
add generate_dashboard.py and invoke it in CI Disclaim Issue #10: Issue comment #201 (comment) created by teorth
October 2, 2024 18:09 2s
October 2, 2024 18:09 2s
Invariant based metatheorem blueprint Disclaim Issue #9: Issue comment #179 (comment) created by teorth
October 2, 2024 18:01 2s
October 2, 2024 18:01 2s