TrendingRisingGemsRadarToolboxKitsNewsCategoriesAbout

Repository

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.

Open source Other Lean

Stars

108

Today

+2

last 24 hours

This week

+42

Forks

1

Clone

git clone https://github.com/NethermindEth/LeanCIL.git

Star growth

2026-10-23: +72026-10-24: +02026-10-25: +02026-10-26: +02026-10-27: +02026-10-28: +02026-10-29: +02026-10-30: +02026-10-31: +422026-11-01: +02026-11-02: +2 (today so far)2026-10-23todaymax +42/day
Stars gained per day since 2026-10-23; the lighter bar is today so far.
Created
2026-10-14
Last commit
2026-10-29
Gained since tracking
+49

Similar in Other

Updated Mon, 02 Nov 2026 01:03:31 GMT · description from the project itself