[console_scripts]
turingverify = turingverify.cli:main
