search

NethermindEth / horus-checker

Horus, a formal verification tool for StarkNet smart contracts.
https://nethermind.io/horus/
Other
71 stars 7 forks source link

Cairo semantics comments #166

Closed langfield closed 1 year ago

langfield commented 1 year ago

The purpose of this PR is to make the CairoSemantics-related modules somewhat understandable to the uninitiated.