/mathematics_in_lean

The user home repository for the Mathematics in Lean tutorial.

Primary LanguageHTML

Stargazers

No one’s star this repository yet.