siddhartha-gadgil / LeanAideLinks
Tools based on AI for helping with Lean 4
☆92Updated 2 weeks ago
Alternatives and similar repositories for LeanAide
Users that are interested in LeanAide are comparing it to the libraries listed below
Sorting:
- Beginner's guide to Tactic Programming in Lean☆44Updated last week
- ☆86Updated last month
- Experiments on automation for Lean