[console_scripts]
proof = proofproposition.main:main
