/Math-Notes-Formalization

A formalization of all my math notes into COQ

Primary LanguageMakefileMIT LicenseMIT

Watchers