Tag
8 repositories
A framework for smart contract verification in Coq
A minimalistic blockchain consensus implemented and verified in Coq
Correctness proofs of Ethereum token contracts
State-Transition Systems for Smart Contracts
A project which aim to help engineers to make proves easily
Translate Rust 🦀 LLBC code (generated by https://github.com/AeneasVerif/charon) to Coq 🐓
Formalization of Yul
Translating the Plutus standard library to Coq
Subscriber view
Already a subscriber? Sign in with the same email used at checkout.