[console_scripts]
imandra-cli = imandra:main
