PrototypeCommon
pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
- Owner
- pirapira (personal account)
- Stars
- Stars: 245
- Forks
- Forks: 43
- Language
- Isabelle
- License
- None
- Created
- 2016
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by pirapira
All 5 repos by pirapira- pirapira/awesome-ethereum-virtual-machineStars: 851Beta
- pirapira/bambooStars: 323OCamlAlpha
- pirapira/ethereum-formal-verification-overviewStars: 295Alpha
- pirapira/coq2rustStars: 226OCamlPrototype
Nearby in Isabelle
All Isabelle repos- seL4/l4vStars: 659IsabelleAlpha
- elastic/elasticsearch-formal-modelsStars: 216IsabellePrototype
- au-ts/cogentStars: 184IsabellePrototype
- marlowe-lang/marloweStars: 174IsabellePrototype