feat: custom simp sets for translating between Equiv and algebraic notation#38359
Open
mcdoll wants to merge 9 commits intoleanprover-community:masterfrom
Open
feat: custom simp sets for translating between Equiv and algebraic notation#38359mcdoll wants to merge 9 commits intoleanprover-community:masterfrom
simp sets for translating between Equiv and algebraic notation#38359mcdoll wants to merge 9 commits intoleanprover-community:masterfrom
Commits
Commits on Apr 22, 2026
- committed
- committed
- committed
- committed
Commits on Apr 26, 2026
- committed
- committed