Lolirofle / 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.