一緒にネコになろや。
のんびり歩いたり、立ち止まったり。
Social Links:
Featured
-
Lean 4 Introduction-1
简要介绍一下 Lean 4。
Recent Posts
All Posts-
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.
Daily Sparks
Visit Daily-
Lean 学习日记
指令(commands) / 顶层交互指令(top level interactive commands) 它们不是用于定义定理/函数的核心逻辑代码，而是为了 辅助开发、调试和交互 ，比如查看类型、求值、打印信息等，仅在 交互式环境 ，如...