Show HN· joeharshamshiri·· 15 天前AI 评分35
Lungo：从 Lean 证明源生成 Rust、Python 代码
Show HN: Lungo Generates Rust, Python, from Lean Proof Source
AI 导读
Lungo 工具可以将 Lean 证明源代码自动转换为 Rust、C、Go、Python、Swift 和 TypeScript 代码，支持多种语言的运行时，并通过 SHA-256 验证确保代码安全性。
来源：Show HN · machinefabric.com