Recent Releases of equational_theories
equational_theories - v4.20.1
Automated release for Lean version v4.20.1
- Lean
Published by github-actions[bot] about 1 year ago
equational_theories - v4.20.0
Automated release for Lean version v4.20.0
- Lean
Published by github-actions[bot] about 1 year ago
equational_theories - v4.20.0-rc5
Automated release for Lean version v4.20.0-rc5
- Lean
Published by github-actions[bot] about 1 year ago