[console_scripts]
proofhouse = proofhouse.cli:main
proofhouse-compiler = proofhouse.compiler.cli_compiler:main
