aconite-ac / theorem_proving_in_lean4

Theorem Proving in Lean 4 日本語訳
https://aconite-ac.github.io/theorem_proving_in_lean4_ja/
Apache License 2.0
10 stars 2 forks source link

目次をつける #3

Closed Seasawher closed 9 months ago

Seasawher commented 10 months ago

一章が結構長く、スクロールしなければ章の概観を掴めないのは不便だと思いました。各章のトップに目次をつけませんか?

mdbook で目次を表示するライブラリはあるので、おそらく苦労しないと思います。了承いただければこちらでプルリクを出すところまでやります。