Peano Arithmetic in Untyped Lambda Calculus (in Coq)

To compile the project, run make.

You can also regenerate the Makefile and make the project by running ./compile.sh.