theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

add pdf version and build instructions

Open ocramz opened this issue 8 months ago • 0 comments

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!

ocramz avatar Jun 13 '24 03:06 ocramz