avigad / mathematics_in_lean_sourceLinks

Source code for the Mathematics in Lean tutorial.
171Updated last month

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: