PrototypeCommon
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.
- Owner
- NethermindEth (organization)
- Stars
- Stars: 108
- Forks
- Forks: 1
- Language
- Lean
- License
- None
- Created
- 2026
- Tier
- Prototype (100 to 249 ★) What this tier means
More repos by NethermindEth
All 11 repos by NethermindEth- NethermindEth/nethermindStars: 1,627C#Beta
- NethermindEth/warpStars: 740TypeScriptBeta
- NethermindEth/junoStars: 448GoAlpha
- NethermindEth/sedgeStars: 194GoPrototype
- NethermindEth/starknet.goStars: 177GoPrototype
- NethermindEth/StarknetByExampleStars: 146SolidityPrototype
Nearby in Lean
All Lean repos- leanprover-community/quote4Stars: 111LeanPrototype
- schildep/verified-3d-mesh-intersectionStars: 110LeanPrototype
- thefundamentaltheor3m/Sphere-Packing-LeanStars: 108LeanPrototype
- leanprover/SampCertStars: 106LeanPrototype
- yuma-mizuno/lean-math-workshopStars: 105LeanPrototype
- chasenorman/CanonicalStars: 105LeanPrototype