[console_scripts]
logic = logic_prover.__main__:main
logic-prover = logic_prover.__main__:main
logic_prover = logic_prover.__main__:main
