9章 tactics-induction-proofs (#77)

* 翻訳開始 * 翻訳完了 * 表現微修正
lean-ja · Aug 25, 2024 · 414e9fc · 414e9fc
1 parent 7704d72
commit 414e9fc
Show file tree

Hide file tree

Showing 2 changed files with 278 additions and 1 deletion.
diff --git a/functional-programming-lean/src/SUMMARY.md b/functional-programming-lean/src/SUMMARY.md
@@ -59,7 +59,7 @@
   - [添字・パラメータ・宇宙レベル](dependent-types/indices-parameters-universes.md)
   - [依存型プログラミングの落とし穴](dependent-types/pitfalls.md)
   - [まとめ](./dependent-types/summary.md)
-- [Interlude: Tactics, Induction, and Proofs](./tactics-induction-proofs.md)
+- [休憩：タクティク・帰納法・証明](./tactics-induction-proofs.md)
 - [Programming, Proving, and Performance](programs-proofs.md)
   - [Tail Recursion](programs-proofs/tail-recursion.md)
   - [Proving Equivalence](programs-proofs/tail-recursion-proofs.md)