Garden Map
Garden Map
Section titled “Garden Map”Generated: 2026-05-31T19:32:33.861Z
Overview
Section titled “Overview”| Metric | Count |
|---|---|
| Notes | 22 |
| Tags | 4 |
| Orphan notes | 0 |
| Broken links | 0 |
Status
Section titled “Status”| Status | Count |
|---|---|
| seed | 20 |
| growing | 0 |
| evergreen | 2 |
Recently Updated
Section titled “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
Section titled “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