/math-in-lean-zh

The user home repository for the Mathematics in Lean tutorial.

Primary LanguageHTML

Stargazers