bollu / lean-toLinks

Jupyter notebook for the Lean4 programming language
24Updated 3 years ago

Alternatives and similar repositories for lean-to

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

Sorting: