Horus, a formal verification tool for StarkNet smart contracts.
Primary LanguageHaskellOtherNOASSERTION