leanprover-community / mathematics_in_leanLinks

The user home repository for the Mathematics in Lean tutorial.
421Updated 2 months 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: