[console_scripts]
FormalSystems = FormalSystemsMain:main

