A simple property based test suite covering peano arithmetic concepts.
Primary LanguagePythonMIT LicenseMIT