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

Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4: Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4 may be useful when its