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.
+3
stars, 24h · #8,410
+11
stars, 7 days · #15,968
+113
stars, 30 days · #8,783
113
★ total · +11% this week
3
forks · 40 open issues
Star history (as recorded here)
LanguageLean
License—
Created2026-10-14 (24d ago)
Last pushtoday
Watchers0
OwnerOrganization
Links
README
Loading README…
Blurb generated by claude-haiku-5-5 7d ago. Star deltas marked ~ are extrapolated from partial history.