20 Literature

20_Literature/ は、参照や復習に使える学習ノートの置き場です。現状は Lean/Mathlib、証明モード、論理、集合、関数、トポロジーが中心で、10_Fleeting/ より構造は明確です。

Current Groups

Group	Files
Core proof modes	tactic_mode.md, term_mode.md, calc_mode.md
Predicate logic and quantifiers	tactic_mode_pred.md, term_mode_pred.md
Proof techniques	tactic_mode_technique.md, term_mode_technique.md, tactic_mode_pred_technique.md, term_mode_pred_technique.md, rfl.md
Mathlib search and help	help.md, help2.md
Logic and examples	contra.md, logic-semantics.md, coding.md
Sets, functions, foundations	set.md, function-comp.md, choice_axiom.md
Topology	royal_road_to_topology/

Suggested Reading Order

1. tactic_mode.md
2. term_mode.md
3. tactic_mode_pred.md
4. term_mode_pred.md
5. calc_mode.md
6. rfl.md
7. help2.md
8. set.md
9. logic-semantics.md
10. royal_road_to_topology/

Naming Improvements

将来リネームする場合は、次のように主題が分かる名前へ寄せると検索しやすくなります。

Current	Candidate
help.md	lean-tactics-field-guide.md
help2.md	mathlib-theorem-search.md
function-comp.md	function-composition.md
logic-semantics.md	first-order-logic-semantics.md
contra.md	classical-logic-contradiction.md
coding.md	lean-logic-puzzle-modeling.md

Target Structure

既存ファイルの移動はまだ行っていません。移動する場合は、次のように分けると主題の境界が明確になります。

20_Literature/
  lean/
    proof-modes/
    logic/
    mathlib-tools/
    examples/
  mathematics/
    set-theory/
    topology/