[console_scripts]
proofatlas=proofatlas.cli.prove:main
proofatlas-bench=proofatlas.cli.bench:main
proofatlas-web=proofatlas.cli.web:main
