Show HN: LeanCIL – Prove properties of compiled .NET code in Lean 4
By rescendent · 2026-10-30 · 1 points · 0 comments
https://github.com/NethermindEth/LeanCIL
By rescendent · 1 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews