siddhartha-gadgil / LeanAide

Tools based on AI for helping with Lean 4
77Updated this week

Alternatives and similar repositories for LeanAide:

Users that are interested in LeanAide are comparing it to the libraries listed below