leanprover-community / mathematics_in_leanLinks

The user home repository for the Mathematics in Lean tutorial.
359Updated this week

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: