https://github.com/nethermindeth/horus-checker
Horus, a formal verification tool for StarkNet smart contracts.
https://github.com/nethermindeth/horus-checker
cairo formal-verification starknet
Last synced: 8 months ago
JSON representation
Horus, a formal verification tool for StarkNet smart contracts.
- Host: GitHub
- URL: https://github.com/nethermindeth/horus-checker
- Owner: NethermindEth
- License: other
- Created: 2022-05-20T13:28:16.000Z (about 4 years ago)
- Default Branch: master
- Last Pushed: 2023-03-31T16:59:44.000Z (about 3 years ago)
- Last Synced: 2025-03-22T00:34:05.026Z (about 1 year ago)
- Topics: cairo, formal-verification, starknet
- Language: Haskell
- Homepage: https://nethermind.io/horus/
- Size: 1 MB
- Stars: 73
- Watchers: 7
- Forks: 8
- Open Issues: 15