generated from pitmonticone/LeanProject
-
Notifications
You must be signed in to change notification settings - Fork 86
Pull requests: teorth/equational_theories
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
[PAPER]: Project Issues and Management
paper
Related to the writing of the paper
#1038
opened Jan 6, 2025 by
Shreyas4991
•
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
Add script to generate TPTP for any implication, extracted from Vampire scripts
#490
opened Oct 10, 2024 by
lyphyser
Loading…
ProTip!
What’s not been updated in a month: updated:<2025-07-31.