search

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

PDF version #129

Open projetmbc opened 2 months ago

projetmbc commented 2 months ago

Could be it possible to have the PDF version of this tutorial accessible without using print this book?