This repository contains the code examples for the Certora Prover Tutorials. The Certora Prover is a formal verification tool for smart contract. The tutorials are part of the Certora Prover Documentation.
Certora tutorials
This repository contains the code examples for the Certora Prover Tutorials. The Certora Prover is a formal verification tool for smart contract. The tutorials are part of the Certora Prover Documentation.
Certora tutorials
MIT License