theorem_proving_in_lean

theorem_proving_in_lean copied to clipboard

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),...

pickleburger

Remove outdated syntax information

1

Reported at https://leanprover.zulipchat.com/#narrow/stream/113488-general/topic/syntax.20of.20inductive.20definitions .

digama0

nat.pow was removed from core about a year ago, and it is necessary to complete this exercise

melembroucarlitos

mattiast