LeanCIL

Show HN
-
SCORE

Prove properties of compiled .NET code in Lean 4

VISIT PRODUCT →

Sources (1)

Show HN
https://news.ycombinator.com/item?id=50302042
1 PTS
SUPPORT THE PROJECT →
← ALL PRODUCTS© 2026 MARKETHUNT