leanprover / theorem_proving_in_lean4

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

add pdf version and build instructions #119

Open ocramz opened 5 months ago

ocramz commented 5 months ago

Hi, I've added a way to render the book as pdf, together with a generated copy. The underlying dependency requires a Chrome-like browser to be installed for PDF rendering.

Let me know if this is appreciated!