leanprover-community / mathematics_in_leanLinks

The user home repository for the Mathematics in Lean tutorial.
371Updated 3 weeks ago

Alternatives and similar repositories for mathematics_in_lean

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

Sorting: