Illustration drawn by RepoMasters from the repo’s ID and its language color. Credits

AlphaUncommon

leonardoalt/ethereum_formal_verification_overview

Overview of the formal verification projects in the Ethereum ecosystem.

Owner: leonardoalt (personal account)
Stars: Stars: 378
Forks: Forks: 41
Language: No language
License: GPL-3.0
Created: 2019
Tier: Alpha (250 to 699 ★) What this tier means

More repos by leonardoalt

All 4 repos by leonardoalt

leonardoalt/yoolsStars: 140SMTPrototype
leonardoalt/fusionStars: 118RustPrototype
leonardoalt/dl_symb_exec_solStars: 112SolidityPrototype