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

2026-10-30来源 Hacker News ShowEnglish

Article URL: https://github.com/NethermindEth/LeanCIL

Comments URL: https://news.ycombinator.com/item?id=50302042

Points: 1

# Comments: 0

原文：https://www.a8q9.cn/en/article/show-hn-leancil-prove-properties-of-compiled-net-code-in-lean-4-1767c6.html

相关文章