Added a code prover project.