PrototypeCommune
pirapira/eth-isabelle
A Lem formalization of EVM and some Isabelle/HOL proofs
- Propriétaire
- pirapira (compte personnel)
- Étoiles
- Étoiles : 245
- Forks
- Forks : 43
- Langage
- Isabelle
- Licence
- Aucune
- Création
- 2016
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de pirapira
Les 5 dépôts de pirapira- pirapira/awesome-ethereum-virtual-machineÉtoiles : 851Bêta
- pirapira/bambooÉtoiles : 323OCamlAlpha
- pirapira/ethereum-formal-verification-overviewÉtoiles : 295Alpha
- pirapira/coq2rustÉtoiles : 226OCamlPrototype
D’autres dépôts Isabelle
Tous les dépôts Isabelle- seL4/l4vÉtoiles : 659IsabelleAlpha
- elastic/elasticsearch-formal-modelsÉtoiles : 216IsabellePrototype
- au-ts/cogentÉtoiles : 184IsabellePrototype
- marlowe-lang/marloweÉtoiles : 174IsabellePrototype