Related Repos
Search
⌘K
Feedback
pirapira / ethereum-formal-verification-overview
The start page about my efforts around smart contract verification
☆297
Updated 2 years ago
Related projects:
ⓘ
pirapira / eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs