ProofDoctor Installation pip install -r requirements.txt should take care of all dependencies. Usage To repair the toy example in ./test: cd test; python ../main.py make Invocation works the same for any Coq project using the appropriate build command.