Hacker News Show HN· joeharshamshiri·· 9 小时前AI 评分38
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 负责检查并编译程序，生成的代码运行在同一个运行时上。
来源：Hacker News Show HN · machinefabric.com