[console_scripts]
copra-lean-prover = copra.simple.cli:main
