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:
Updates on the development and progress of Horus
Discussions on how to use Horus and best practices for formal verification
Answers to any questions you may have about Horus
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