迈克·纳哈斯的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
cs3234 Course Reviews
nus course-review cs rocq

notion entry: cs3234 Course Reviews

pub:7/30/2025 new:6/17/2025 upd:6/17/2025