For a while @Starknet 's Cairo has lacked a way to formally verify code. So we built our own.
20 Sep 2023, 15:50
For a while @Starknet 's Cairo has lacked a way to formally verify code. So we built our own.
Unveiling Aegis, a formal verification tool for Cairo, built on Lean.
š