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.

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

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

About

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

License:MIT License


Languages

Language:Agda 99.9%Language:Python 0.1%Language:Makefile 0.0%