Skip to content

Pull requests: teorth/equational_theories

New pull request New
20 Open 611 Closed
20 Open 611 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
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

Translation invariant version of 1516 !=> 1489
#831 opened Nov 13, 2024 by b-reinke Loading…
1
4
Translation-invariant greedy construction for 879 =/=> 4065
#830 opened Nov 13, 2024 by amirlb • Draft
1
2
Use docbuild setup
#824 opened Nov 11, 2024 by pitmonticone • Draft
1
An explicit form for the free magma with the associative law
#807 opened Nov 9, 2024 by amirlb • Draft
Experiment: Speed up LawsComplete using rsimp
#780 opened Nov 2, 2024 by nomeata • Draft
New tool: Magmas CLI. Takes eq list,op table as args, and returns JSON with 1/0 for each equation.
#764 opened Oct 31, 2024 by riccitensor • Draft
7
Relatively definable equations
#761 opened Oct 31, 2024 by Timeroot • Draft
1
Codyroux/boolean ring awaiting-author Reviewers and maintainers are awaiting the author's response or fixes in response to review comments
#708 opened Oct 22, 2024 by codyroux Loading…
1
23
clean-up: Eliminate try {}s
#638 opened Oct 18, 2024 by vlad902 • Draft
5
represent verified implication graph in Lean
#636 opened Oct 18, 2024 by nomeata • Draft
1
[PARTIAL] Functional equational approach based on Pace Nielsen's proof
#577 opened Oct 14, 2024 by lyphyser • Draft
2
WIP starting to generate non-implications
#550 opened Oct 13, 2024 by goens • Draft
LINEAR: Compute the implication graph for linear magmas (Part 1)
#535 opened Oct 12, 2024 by few • Draft
Results on Central Groupoids
#492 opened Oct 10, 2024 by b-mehta • Draft
3 tasks
1
2
Add script to generate TPTP for any implication, extracted from Vampire scripts
#490 opened Oct 10, 2024 by lyphyser Loading…
1
[DRAFT] Automatic tracking of statistics after each commit
#479 opened Oct 9, 2024 by carlini • Draft
7
Experiment: speed up decideFin! by optimizing terms
#477 opened Oct 9, 2024 by nomeata • Draft
law_to_equation and equation_to_law
#322 opened Oct 5, 2024 by Command-Master • Draft
magma_search Rust script for long-running proof searches
#88 opened Sep 28, 2024 by asvarga • Draft
[DO NOT MERGE] Deep-embed graph
#45 opened Sep 28, 2024 by alxest • Draft
1
ProTip! Exclude everything labeled bug with -label:bug.