Skip to content

Issues: teorth/equational_theories

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

42 Open 198 Closed
42 Open 198 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

WRITING: write a section of the paper on the full spectrum problem
#1029 opened Dec 22, 2024 by teorth
@zaklogician
1
Updates available but manual intervention required
#1026 opened Dec 15, 2024 by github-actions bot
Updates available but manual intervention required
#992 opened Dec 7, 2024 by github-actions bot
Updates available but manual intervention required
#977 opened Dec 4, 2024 by github-actions bot
1
@pitmonticone
2
FINITE: Formalize the magma cohomology approach and use it to refute implications
#968 opened Dec 2, 2024 by teorth
WRITING: Expand upon "modifying base magma" section (Section 5.6)
#956 opened Nov 30, 2024 by teorth
@dsm054
1
WRITING: Write a section on confluent laws
#926 opened Nov 26, 2024 by teorth
WRITING: Write a section on the finite magma implication graph
#924 opened Nov 25, 2024 by teorth
1
WRITING: Write a section on Higman-Neumann laws
#922 opened Nov 25, 2024 by teorth
@JoseBrox
1
WRITING: Write a section of the paper describing user interfaces and visualizations
#921 opened Nov 25, 2024 by teorth
@vlad902
3
WRITING: create a more precise structure for project.tex
#873 opened Nov 21, 2024 by teorth
@Shreyas4991
3
COMPLEX-GREEDY: Refute 1729 -> 817
#869 opened Nov 21, 2024 by teorth
@Shreyas4991
2
EQUATION EXPLORER: Allow searching/displaying any equation
#848 opened Nov 18, 2024 by vlad902
3
GREEDY-GREEDY HYBRID: Refute 1516->255
#820 opened Nov 10, 2024 by teorth
@pitmonticone
1
LINEAR-GREEDY HYBRID: Refute 1323->2744
#811 opened Nov 9, 2024 by teorth
1
@amirlb
8
Relaxation testing agent on top of LLM and Vampire
#803 opened Nov 7, 2024 by riccitensor
CLI tool that takes equation list and operation table as args, and returns JSON with 1/0 for each equation
#802 opened Nov 7, 2024 by riccitensor
1
Namespace all files in the project
#751 opened Oct 28, 2024 by Shreyas4991
LONG-TERM: Improve the efficiency of the finite magma refutation planner
#725 opened Oct 23, 2024 by teorth
MATH: Analyze 1729 "Ramanujan"
#665 opened Oct 19, 2024 by teorth
@Shreyas4991
6
MODIFIED_GREEDY: Refute 1692 -> 47, 1832, 2441, 3050, 3456, 4065
#607 opened Oct 16, 2024 by teorth
@Aaron1011
1
FRONT_END: A Sudoku-type game interface for building finite magmas obeying various laws
#576 opened Oct 14, 2024 by teorth
2
METATHEOREM: remove the use of choice in Completeness project-task
#499 opened Oct 10, 2024 by codyroux
2
Change scripts to not parse AllEquations.lean directly
#482 opened Oct 10, 2024 by amirlb
4
Combine run_before_push.sh and pre-push.sh into a single script
#439 opened Oct 8, 2024 by euprunin
1
ProTip! Exclude everything labeled bug with -label:bug.