teorth/equational_theories

Issues

• WRITING: write a section of the paper on the full spectrum problem

  #1029 opened 5 days ago by teorth
  1

• WRITING: Write a section of the paper describing user interfaces and visualizations

  #921 opened a month ago by teorth
  3

• EQUATION EXPLORER: Allow searching/displaying any equation

  #848 opened a month ago by vlad902
  3

• WRITING: Write a section or blueprint chapter on the order 5 trivial/Austin laws

  #923 opened 11 days ago by teorth
  2

• GREEDY-GREEDY HYBRID: Refute 1516->255

  #820 opened 2 months ago by teorth
  1

• Updates available but manual intervention required

  #1026 opened 12 days ago by github-actions
  0

• WRITING: Expand upon "modifying base magma" section (Section 5.6)

  #956 opened a month ago by teorth
  1

• LINEAR-GREEDY HYBRID: Refute 1323->2744

  #811 opened 2 months ago by teorth
  8

• WRITING: create a more precise structure for `project.tex`

  #873 opened a month ago by teorth
  3

• FINITE: Establish 1441->4067, 1443->3055, 1681->3877, 1701->1035

  #986 opened 16 days ago by teorth
  2

• FINITE: Establish 1113->1167->1096

  #985 opened 17 days ago by teorth
  2

• FINITE: Establish 467 -> 2847

  #988 opened 17 days ago by teorth
  1

• FINITE: Establish 1516 ->255

  #987 opened 17 days ago by teorth
  2

• FINITE: Refute 1076 -> 2234, 4435

  #981 opened 17 days ago by teorth
  1

• WRITING: Make a first draft of the "Automated Theorem Proving" section of the paper

  #920 opened 17 days ago by teorth
  3

• Updates available but manual intervention required

  #992 opened 20 days ago by github-actions
  0

• [CI]: Add workflow for paper compilation

  #989 opened 20 days ago by pitmonticone
  2

• FINITE: Convert the Lean+Duper proofs from 467, 1133, 1167, 1441, 1443, 1681, 1701 to Lean proofs

  #935 opened 21 days ago by teorth
  3

• FINITE: Condense the refutations of 503 -> 4065, 3862 and 476 -> 359, 4065

  #953 opened 21 days ago by teorth
  1

• Updates available but manual intervention required

  #977 opened 23 days ago by github-actions
  2

• Updates available but manual intervention required

  #969 opened 22 days ago by github-actions
  0

• FINITE: Formalize the magma cohomology approach and use it to refute implications

  #968 opened 25 days ago by teorth
  0

• Updates available but manual intervention required

  #964 opened 25 days ago by github-actions
  0

• FINITE: Prove 906 -> 3862 for finite magmas

  #934 opened a month ago by teorth
  2

• LARGE GREEDY or GREEDY: Refute 1289 -> 3116, 4815

  #937 opened a month ago by teorth
  2

• LARGE GREEDY or GREEDY: Refute 713 -> 817, 1426, 3862, 4065

  #771 opened a month ago by teorth
  3

• WRITING: Write a section on the finite magma implication graph

  #924 opened a month ago by teorth
  1

• FINITE_IMPLICATIONS: Prove Lemmas 3.7 and 3.8

  #809 opened a month ago by teorth
  2

• WRITING: Write a section on confluent laws

  #926 opened a month ago by teorth
  0

• WRITING: Write a section on Higman-Neumann laws

  #922 opened a month ago by teorth
  1

• COMPLEX-GREEDY: Refute 1729 -> 817

  #869 opened a month ago by teorth
  2

• WRITING: Organize the greedy arguments in Section 7.4 of the blueprint

  #902 opened a month ago by teorth
  2

• WRITING: Write the directed link prediction sub-section of the ML section

  #897 opened a month ago by teorth
  2

• TREE: Refute 1447 -> 1429, 4269

  #832 opened a month ago by teorth
  2

• Equation 47 does not imply 1518 nor 2910

  #877 opened a month ago by qawbecrdtey
  0

• FINITE MAGMA EXPLORER: Use the finite magma graph rather than the general magma graph to detect new refutations

  #855 opened a month ago by teorth
  4

• Nap law

  #850 opened a month ago by fchapoton
  2

• Updates available but manual intervention required

  #840 opened a month ago by github-actions
  2

• DASHBOARD: Add the finite magma version of the statistics to the dashboard

  #838 opened a month ago by teorth
  2

• LOW_PRIORITY: Replace the use of `native_decide` in #829

  #834 opened a month ago by teorth
  1

• Updates available but manual intervention required

  #827 opened a month ago by github-actions
  0

• Updates available but manual intervention required

  #817 opened 2 months ago by github-actions
  2

• CLI tool that takes equation list and operation table as args, and returns JSON with 1/0 for each equation

  #802 opened 2 months ago by riccitensor
  1

• Relaxation testing agent on top of LLM and Vampire

  #803 opened 2 months ago by riccitensor
  0

• [TEST]

  #799 opened 2 months ago by pitmonticone
  3

• Updates available but manual intervention required

  #790 opened 2 months ago by github-actions
  2

• Updates available but manual intervention required

  #775 opened 2 months ago by github-actions
  2

• EQUATION EXPLORER: Integrate the #741 script

  #756 opened 2 months ago by teorth
  2

• Updates available but manual intervention required

  #765 opened 2 months ago by github-actions
  0

• ADVANCED_GREEDY: Refute 854 -> 413

  #762 opened 2 months ago by teorth
  0