Lungo Generates Rust, Python, from Lean Proof Source

Show HN
-
SCORE
VISIT PRODUCT →

Sources (1)

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