/peano

An environment for learning formal mathematical reasoning from scratch

Primary LanguagePythonMIT LicenseMIT

Issues