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

PDF version

Open projetmbc opened this issue 5 months ago • 0 comments

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

projetmbc avatar Sep 21 '24 08:09 projetmbc