Formalization of proofs from Analysis I in the Coq and Lean.
Primary LanguageLeanMIT LicenseMIT
No issues in this repository yet.