Garden Map

Garden Map

Generated: 2026-05-31T19:32:33.861Z

Overview

Metric	Count
Notes	22
Tags	4
Orphan notes	0
Broken links	0

Status

Status	Count
seed	20
growing	0
evergreen	2

Recently Updated

• calc モードの使い分け seed
• 選択公理と逆写像 seed
• Lean 4 で論理パズルを解くための 5 つのステップ seed
• 背理法と排中律 seed
• 関数合成の証明スタイル seed
• Lean 相談と支援タクティク seed
• Mathlib 定理探索のフローチャート seed
• Lean 論理セマンティクス seed
• 20 Literature evergreen
• rfl パターンによる自動書き換え seed

Notes To Grow

• calc モードの使い分け seed
• 選択公理と逆写像 seed
• Lean 4 で論理パズルを解くための 5 つのステップ seed
• 背理法と排中律 seed
• 関数合成の証明スタイル seed
• Lean 相談と支援タクティク seed
• Mathlib 定理探索のフローチャート seed
• Lean 論理セマンティクス seed
• rfl パターンによる自動書き換え seed
• Royal Road to Topology Chapter I seed
• Royal Road to Topology Chapter II seed
• 集合 seed
• 一階述語論理のタクティク・モード技法 seed
• 一階述語論理のタクティク・モード対応表 seed
• タクティク・モード構築テクニック seed
• 命題論理のタクティク・モード対応表 seed
• 一階述語論理の項モード技法 seed
• 一階述語論理の項モード対応表 seed
• 項モード構築テクニック seed
• 命題論理の項モード対応表 seed