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

2026-10-19来源 Hacker News ShowEnglish

Article URL: https://machinefabric.com/lungo/

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

Points: 1

# Comments: 1

原文：https://www.a8q9.cn/en/article/show-hn-lungo-generates-rust-python-from-lean-proof-source-8617d3.html

相关文章