# NethermindEth/LeanCIL

<https://repo.masters-masters.com/en/repos/NethermindEth/LeanCIL>

[Home](https://repo.masters-masters.com/en) › [NethermindEth](https://repo.masters-masters.com/en/owners/NethermindEth) › [LeanCIL](https://repo.masters-masters.com/en/repos/NethermindEth/LeanCIL)

NethermindEth/LeanCIL has 108 stars on GitHub. Its RepoMasters card: Prototype tier. LeanCIL is a Lean 4 formal verification framework for .NET programs. It…

| Field | Value |
| --- | --- |
| Owner | [NethermindEth](https://repo.masters-masters.com/en/owners/NethermindEth) |
| Stars | 108 |
| Forks | 2 |
| Language | [Lean](https://repo.masters-masters.com/en/languages/lean) |
| License | None |
| Created | 2026 |
| Tier | [Prototype (100 to 249 ★)](https://repo.masters-masters.com/en/ranks/rush) |
| View on GitHub | [NethermindEth/LeanCIL](https://github.com/NethermindEth/LeanCIL) |

## Repository

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.

The tier for repos with 100 to 249 ★. Published odds per card pulled: 70%. Rarity: Common.

## More repos by NethermindEth

- [NethermindEth/nethermind · ★ 1,627 · C\# · Beta](https://repo.masters-masters.com/en/repos/NethermindEth/nethermind)
- [NethermindEth/warp · ★ 740 · TypeScript · Beta](https://repo.masters-masters.com/en/repos/NethermindEth/warp)
- [NethermindEth/juno · ★ 448 · Go · Alpha](https://repo.masters-masters.com/en/repos/NethermindEth/juno)
- [NethermindEth/sedge · ★ 194 · Go · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/sedge)
- [NethermindEth/starknet.go · ★ 177 · Go · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/starknet.go)
- [NethermindEth/StarknetByExample · ★ 146 · Solidity · Prototype](https://repo.masters-masters.com/en/repos/NethermindEth/StarknetByExample)

## Nearby in Lean

- [leanprover-community/quote4 · ★ 111 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover-community/quote4)
- [schildep/verified-3d-mesh-intersection · ★ 110 · Lean · Prototype](https://repo.masters-masters.com/en/repos/schildep/verified-3d-mesh-intersection)
- [thefundamentaltheor3m/Sphere-Packing-Lean · ★ 108 · Lean · Prototype](https://repo.masters-masters.com/en/repos/thefundamentaltheor3m/Sphere-Packing-Lean)
- [leanprover/SampCert · ★ 107 · Lean · Prototype](https://repo.masters-masters.com/en/repos/leanprover/SampCert)
- [yuma-mizuno/lean-math-workshop · ★ 105 · Lean · Prototype](https://repo.masters-masters.com/en/repos/yuma-mizuno/lean-math-workshop)
- [chasenorman/Canonical · ★ 105 · Lean · Prototype](https://repo.masters-masters.com/en/repos/chasenorman/Canonical)

---
Data: GitHub · Illustration drawn by RepoMasters from the repo’s ID and its language color.