Show HN: Lungo Generates Rust, Python, from Lean Proof Source

(machinefabric.com) by joeharshamshiri | Oct 18, 2026 | 1 comments on HN