迈克·纳哈斯的Coq教程
rocq cs translation tutorial

Mike Nahas's Coq Tutorial 中文翻译

pub:7/29/2025 new:10/4/2021 upd:7/20/2022
在 Coq 中形式化 100 个定理
rocq cs translation

Formalizing 100 theorems in Coq 翻译、增补

pub:7/29/2025 new:2/4/2022 upd:1/9/2023