search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
159 stars 85 forks source link

provide a table of contents #91

Closed Seasawher closed 6 months ago

Seasawher commented 9 months ago

Thank you for the great book!

The pages are quite long, and I find it difficult to grasp what is written with only the chapter titles. Why don't you provide a table of contents on appropriate pages?