NethermindEth / LeanCIL
git clone https://github.com/NethermindEth/LeanCIL.git
Lean 4 framework for machine-checked formal verification of .NET programs against compiled CIL instructions.
Why you might care
Lets you prove correctness and safety properties about the actual compiled instructions of C#, F#, or other .NET assemblies, rather than source code. Unsupported CIL features are rejected explicitly, so proofs only cover the implemented subset. Requires Lean 4 and the .NET SDK, without Mathlib.
+0
stars, 24h · #44,275
+46
stars, 7 days · #6,202
+110
stars, 30 days · #8,978
110
★ total · +46% this week
3
forks · 39 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-10-14 (24d ago)
Last push1d ago
Watchers0
OwnerOrganization
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 6d ago. Star deltas marked ~ are extrapolated from partial history.