search

leanprover / theorem_proving_in_lean

Theorem proving in Lean
Apache License 2.0
47 stars 46 forks source link

adding support to build PDFs for e-readers #111

Open pickleburger opened 3 years ago

pickleburger commented 3 years ago

Also updated some instructions in README based on my experience and fixed a breakage in lean_sphinx.py

The cover page on A5 is not perfect (authors get pushed beyond the boundary), otherwise it looks OK to me.