PrototypeCommune
NethermindEth/LeanCIL
LeanCIL is a Lean 4 formal verification framework for .NET programs. It enables machine-checked proofs of correctness and safety against compiled Common Intermediate Language (CIL), supporting applications written in C#, F#, and other .NET languages.
- Propriétaire
- NethermindEth (organisation)
- Étoiles
- Étoiles : 106
- Forks
- Forks : 1
- Langage
- Lean
- Licence
- Aucune
- Création
- 2026
- 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 626C#Bêta
- NethermindEth/warpÉtoiles : 740TypeScriptBêta
- NethermindEth/junoÉtoiles : 447GoAlpha
- NethermindEth/sedgeÉtoiles : 194GoPrototype
- NethermindEth/starknet.goÉtoiles : 178GoPrototype
- NethermindEth/StarknetByExampleÉtoiles : 146SolidityPrototype
D’autres dépôts Lean
Tous les dépôts Lean- schildep/verified-3d-mesh-intersectionÉtoiles : 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanÉtoiles : 108LeanPrototype
- leanprover/SampCertÉtoiles : 106LeanPrototype
- yuma-mizuno/lean-math-workshopÉtoiles : 105LeanPrototype
- chasenorman/CanonicalÉtoiles : 105LeanPrototype
- AxiomMath/IMO2026Étoiles : 103LeanPrototype