Skip to content

Actions: teorth/equational_theories

Actions

Awaiting Review

Actions

Loading...
Loading

Show workflow options

Create status badge

Loading
05-awaiting-review.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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #26: Issue comment #210 (comment) created by goens
October 2, 2024 21:32 2s
October 2, 2024 21:32 2s
fix dashboard url Awaiting Review #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) Awaiting Review #24: Issue comment #206 (comment) created by teorth
October 2, 2024 19:44 2s
October 2, 2024 19:44 2s
Implications with egg Awaiting Review #23: Issue comment #200 (comment) created by goens
October 2, 2024 19:34 2s
October 2, 2024 19:34 2s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Awaiting Review #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. Awaiting Review #21: Issue comment #125 (comment) created by jscanvic
October 2, 2024 19:07 2s
October 2, 2024 19:07 2s
Awaiting Review Awaiting Review #20: created by jscanvic
October 2, 2024 19:04 2s
October 2, 2024 19:04 2s
extact_implications: add --equivalence_creators flag to unknowns subcommand Awaiting Review #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 Awaiting Review #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. Awaiting Review #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. Awaiting Review #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. Awaiting Review #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. Awaiting Review #14: Issue comment #125 (comment) created by jscanvic
October 2, 2024 18:30 1s
October 2, 2024 18:30 1s
INFINITE: State and prove Theorem 2.36 (second Kisielewicz law) of the blueprint in Lean. Awaiting Review #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 Awaiting Review #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 Awaiting Review #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 Awaiting Review #10: Issue comment #201 (comment) created by teorth
October 2, 2024 18:09 2s
October 2, 2024 18:09 2s
Invariant based metatheorem blueprint Awaiting Review #9: Issue comment #179 (comment) created by teorth
October 2, 2024 18:01 3s
October 2, 2024 18:01 3s