avigad / mathematics_in_lean_sourceLinks
Source code for the Mathematics in Lean tutorial.
☆172Updated 2 months ago
Alternatives and similar repositories for mathematics_in_lean_source
Users that are interested in mathematics_in_lean_source are comparing it to the libraries listed below
Sorting:
- Theorem Proving in Lean 4