horus-compile

Use formally verified annotations in your Cairo code


License
Apache-2.0
Install
pip install horus-compile==0.0.6.13