[console_scripts]
proof-engine-wiki = proof_engine_wiki.cli:main
