/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

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