PrototypeCommune
NethermindEth/EVMYulLean
Executable formal model of the EVM and Yul in Lean 4.
- Propriétaire
- NethermindEth (organisation)
- Étoiles
- Étoiles : 101
- Forks
- Forks : 23
- Langage
- Lean
- Licence
- Apache-2.0
- Création
- 2024
- Rang
- Prototype (100 à 249 ★) Ce que veut dire ce rang
Autres dépôts de NethermindEth
Les 11 dépôts de NethermindEth- NethermindEth/nethermindÉtoiles : 1 627C#Bêta
- NethermindEth/warpÉtoiles : 740TypeScriptBêta
- NethermindEth/junoÉtoiles : 448GoAlpha
- NethermindEth/sedgeÉtoiles : 194GoPrototype
- NethermindEth/starknet.goÉtoiles : 177GoPrototype
- NethermindEth/StarknetByExampleÉtoiles : 146SolidityPrototype
D’autres dépôts Lean
Tous les dépôts Lean- AxiomMath/IMO2026Étoiles : 103LeanPrototype
- dwrensha/animate-lean-proofsÉtoiles : 102LeanPrototype
- leanprover/lakeÉtoiles : 101LeanPrototype
- JOSHCLUNE/LeanHammerÉtoiles : 100LeanPrototype