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.