/tmath

Primary LanguageLeanMIT LicenseMIT

Типизированная математика

Репозиторий книги. Сама книга находится на https://suhr.github.io/tmath/.