Formal proofs in mathematics/computer science/logic formalized in the Agda language. It is mostly a mess of a lot of stuff that I have found interesting. Note: All files are independent of the standard library. The original intention was to teach myself the language and learn the concepts, but this project just grew in size. It consists mostly of simple definitions and proofs. Some examples: TODO
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.
AgdaMIT