← Back to feed

LeanCIL – Prove properties of compiled .NET code in Lean 4

IT·开源 · 2026-10-30 10:29

LeanCIL is a toolchain that imports compiled .NET intermediate code into Lean 4, enabling formal proof and verification of program properties.

Source: github.com

Auto-generated summary for reference only. RSS