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

(github.com) by rescendent | Oct 30, 2026 | 0 comments on HN