[console_scripts]
theorem = theorem.cli:main

