[console_scripts]
imandra-cli = imandra.cli:main
