Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4(github.com)
1 pointby rescendentan hour ago1 comment