Show HN: Lungo Generates Rust, Python, from Lean Proof Source
By joeharshamshiri · 2026-10-18 · 1 points · 1 comments
https://machinefabric.com/lungo/
By joeharshamshiri · 1 points · 1 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews