rocq-prover/rocq
@rocq-proverRocq Prover 是一个交互式定理证明器，或称为证明助手。它提供一种正式语言，用于撰写数学定义、可执行算法和定理，并提供一个半交互式开发机器检查证明的环境。
星数
5,571
Fork 数
763
语言
OCaml
许可
LGPL-2.1
最后推送
24小时前
相关情报（0）
还没有相关情报
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。
Rocq Prover 是一个交互式定理证明器，或称为证明助手。它提供一种正式语言，用于撰写数学定义、可执行算法和定理，并提供一个半交互式开发机器检查证明的环境。
radar 追踪的来源里还没有出现过这个 repo。收集器按计划运行——等它覆盖到这个 repo 再回来看看。