Archives
All the articles I've archived.
2026 3
March 3
-
Lean 4 Introduction-1
简要介绍一下 Lean 4。
-
Coq/Rocq Introduction - 2 - Prerequisite knowledge
The prerequisite knowledge before learning Coq/Rocq.
-
Coq/Rocq Introduction - 1 - Installing
Brief introduction to the world of Coq/Rocq Prover.