Rocq

技术

Rocq，基于依赖类型理论的交互式定理证明与形式化验证系统，主要用于数学定理证明和高可靠性软件验证

1 次提及1 个连接首次出现: 2026-03-31最近出现: 2026-03-31

关系图谱

关系 (1)

应用于 (1)

相关文章 (1)