Lean4

• August 10, 2025 [Lean4] 実数を構成する
• December 6, 2024 Lean4と戯れるのに役に立ったもの