About the Horus category

An open-source formal verification tool for StarkNet smart contracts - now in Alpha.

We are excited to have you here and we hope you find this channel useful for all things related to Horus. Here are some things you can expect to find in this channel:

:loudspeaker: Updates on the development and progress of Horus

:speech_balloon: Discussions on how to use Horus and best practices for formal verification

:question: Answers to any questions you may have about Horus

:rainbow: Opportunities to give feedback and contribute to the development of Horus

We encourage you to actively participate in the discussions and share your thoughts and ideas.

Learn more about Horus and our work on Formal Verification here: Horus - Nethermind