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

39 Open 156 Closed
39 Open 156 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

Updates available but manual intervention required
#775 opened Nov 1, 2024 by github-actions bot
LARGE GREEDY: Refute all implications from 713, 1289, 1447
#771 opened Nov 1, 2024 by teorth
EQUATION EXPLORER: Integrate the #741 script
#756 opened Oct 29, 2024 by teorth
1
@amirlb
2
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
ALGORITHMIC: An algorithm that takes an arbitrary equation of any length and returns its number, or vice versa, in reasonable time
#724 opened Oct 23, 2024 by teorth
1
GREEDY: Refute 1516 ->1489
#675 opened Oct 20, 2024 by teorth
GREEDY: Refute 3308 -> 3456
#666 opened Oct 19, 2024 by teorth
1
MATH: Analyze 1729 "Ramanujan"
#665 opened Oct 19, 2024 by teorth
@Shreyas4991
3
GREEDY: Refute 1526 -> 1223, 2744
#663 opened Oct 19, 2024 by teorth
GREEDY: Refute 1518 -> 47, 614, 817, 3862
#661 opened Oct 19, 2024 by teorth
3
GREEDY: Refute 917 "Hardy" -> 1629, 1729, 2441, 2541
#660 opened Oct 19, 2024 by teorth
GREEDY: Refute 1722 -> 644, 3050, 1832
#659 opened Oct 19, 2024 by teorth
2
GREEDY: Refute 63 "Dupont" ->1692 "Dupond"
#643 opened Oct 19, 2024 by teorth
MODIFIED_GREEDY: Refute 879 -> 4065
#633 opened Oct 18, 2024 by teorth
DASHBOARD: Enhance the dashboard to include links to various formats of the implication table
#631 opened Oct 18, 2024 by teorth
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
COMBINATORIAL: Refute 73 -> 99, 203, 255, 4380
#516 opened Oct 11, 2024 by teorth
COMBINATORIAL: Refute 1076 -> 47, 99, 151, 203, 255, 411, 614, 817, 1223, 1426, 1629, 1832, 2035, 2238, 2441, 2644, 2847, 3050, 3253, 3456, 3659, 3862, 4065, 4380
#506 opened Oct 11, 2024 by teorth
8
METATHEOREM: remove the use of choice in Completeness project-task
#499 opened Oct 10, 2024 by codyroux
2
Combine run_before_push.sh and pre-push.sh into a single script
#439 opened Oct 8, 2024 by euprunin
1
DASHBOARD: equivalence classes in implication matrix image project-task
#424 opened Oct 8, 2024 by harahu
5
THEORY: Obtain a rigorous upper bound on the order of field needed to detect linear magma implications
#418 opened Oct 7, 2024 by teorth
7
EQUATION_EXPLORER: Give an option in equation explorer to allow the "expanded" list of equations beyond the original 4694
#378 opened Oct 6, 2024 by teorth
1
ProTip! Type g i on any issue or pull request to go back to the issue listing page.