Product Information
What is Rocq prover?
Rocq Prover 是一个交互式定理证明器或证明助手。它提供了一种用于编写数学定义、可执行算法和定理的形式语言，以及用于机器检查证明的半交互式开发的环境。
How to use Rocq prover?
Rocq Prover是一个交互式定理证明器或证明助手。它提供一种形式语言来编写数学定义、可执行算法和定理，并提供一个环境用于半交互式开发机器验证证明。
Rocq prover Core Functions of
无广告
Rocq prover Usage Scenarios of
- 编写数学定义
- 编写可执行算法
- 编写定理
- 开发机器验证证明
Rocq prover Common Questions about
Rocq Prover做什么的？
我如何使用Rocq Prover？
Rocq Prover有哪些核心功能？
Rocq Prover有哪些应用场景？
