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