[console_scripts]
natural2lean = natural2lean_cli.__main__:main
