[console_scripts]
amsthm = amsthm:main

