GitHub repository: siddhartha-gadgil/LeanAide
Primary language: Jupyter Notebook
Description: Tools based on AI for helping with Lean 4