翻訳開始

Author: s-taiga

md/SUMMARY.md

@@ -10,7 +10,7 @@
 - [MetaM](./main/04_metam.md)
 - [構文](./main/05_syntax.md)
 - [マクロ](./main/06_macros.md)
-- [Elaboration](./main/07_elaboration.md)
+- [エラボレーション](./main/07_elaboration.md)
 - [Embedding DSLs By Elaboration](./main/08_dsls.md)
 - [Tactics](./main/09_tactics.md)
 - [Lean4 Cheat-sheet](./main/10_cheat-sheet.md)