（评论）

(comments)

原始链接: https://news.ycombinator.com/item?id=43360633

Hacker News 最新 | 过去 | 评论 | 提问 | 展示 | 工作 | 提交 登录 Coq-of-rust：Rust 的形式化验证工具 (github.com/formal-land) 35 分，来自 todsacerdoti，9 小时前 | 隐藏 | 过去 | 收藏 | 讨论 加入我们，参加 6 月 16-17 日在旧金山举办的 AI 初创公司学校！ 指南 | 常见问题 | 列表 | API | 安全 | 法律 | 申请 YC | 联系我们 搜索：