/stuff-in-agda

Formal proofs in mathematics/computer science/logic formalized in the Agda language. A hobby project I am working on in my free time.

Primary LanguageAgdaMIT LicenseMIT

No issues in this repository yet.