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

各ページの右側に、ページ内目次を表示させる #16

Open aconite-ac opened 2 months ago

aconite-ac commented 2 months ago

Kitamado(@Seasawher)さんによるご提案。 TPiL4は各ページの文量が多いため、ページ内目次を実装するメリットは大きいと思われる。

lean-by-exampleでは、mdBook-pagetocを用いることでページ内目次の実装に成功している。

しかし、Kitamadoさんによると、このリポジトリにmdBook-pagetocを導入するとレイアウトが著しく崩れてしまうそうだ。