rocq doc 使用指南:用特殊注释为 Rocq Prover 源码生成 HTML 与 LaTeX 文档
形式化验证编程语言 【免费下载链接】coq The Rocq Prover is an interactive theorem prover, or proof assistant. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interacti…
2026/10/12 23:02:41 阅读全文 →