#lean
6
2026-10-15
NethermindEth/LeanCIL
A
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.
2026-09-08
josevalim/lynx
A
Proofs for Erlang/Elixir programs through LEAN (via automatic translation of Core Erlang)
2026-10-08
selanavot/matrix-multiplication-all-fields
A
Lean formalization work extending the matrix multiplication 9/4 argument to arbitrary fields
2026-09-04
openai/PrimeGaps186
D
Conditional Lean formalization and numerical certificate for prime gaps at most 186.