/lean-to

Jupyter notebook for the Lean4 programming language

Primary LanguageC++

Stargazers