Rocq ProverLogocola95 次浏览2025/03/14网络科技 Rocq Prover 是一种值得信赖的、工业强度的交互式定理证明器和依赖类型编程语言，用于数学、计算机科学等领域的机械化推理。 来源：ROCG 文章标签# IT logo# 编程logo# 鸟logo 上一页 文章 SASAKI 下一页 文章 Université Paris Cité 留下评论取消回复您的邮箱地址不会被公开。 必填项已用 * 标注 名称 邮箱 站点 添加评论 * 发表评论 Δ 这个站点使用 Akismet 来减少垃圾评论。了解你的评论数据如何被处理。
