rocq-prover / rocq

Rocq Prover 是一款交互式定理证明器或证明助手。它提供了一种用于编写数学定义、可执行算法和定理的形式语言，以及用于机器检查证明的半交互式开发的环境。

仓库 Star

5,655总榜 #10,506

Fork

771

最近推送

3 天前更新

仓库创建

2011 年创建