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 R