Type theoretical proofs in Agda proving the Ring of Integers.
Primary LanguageAgdaMIT LicenseMIT
No issues in this repository yet.