Hacker News· joeharshamshiri·· 16 小时前AI 评分50
Show HN：Lungo 从 Lean 证明源码生成 Rust、Python 等六种语言代码
Show HN: Lungo Generates Rust, Python, from Lean Proof Source
AI 导读
Lungo 可从普通 Lake 项目生成 Rust、C、Go、Python、Swift 和 TypeScript 代码，由 Lean 完成检查与编译，编译产物运行在 Lean 运行时的 Rust 移植版上。
来源：Hacker News · machinefabric.com