翻訳開始

lean-ja · Sep 23, 2024 · e82fd95 · e82fd95
1 parent 0537885
commit e82fd95
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/md/SUMMARY.md b/md/SUMMARY.md
@@ -12,7 +12,7 @@
 - [マクロ](./main/06_macros.md)
 - [エラボレーション](./main/07_elaboration.md)
 - [エラボレーションによる DSL の埋め込み](./main/08_dsls.md)
-- [Tactics](./main/09_tactics.md)
+- [タクティク](./main/09_tactics.md)
 - [Lean4 Cheat-sheet](./main/10_cheat-sheet.md)
 
 <!-- # Extra -->