Daily

Quickly record inspirations and ideas.

• Lean 学习日记

  7 Mar, 2026

  指令(commands) / 顶层交互指令(top level interactive commands) 它们不是用于定义定理/函数的核心逻辑代码，而是为了 辅助开发、调试和交互 ，比如查看类型、求值、打印信息等，仅在 交互式环境 ，如...