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