This repository has been archived by the owner on Oct 21, 2024. It is now read-only.
fix(04,08,11,13): fix chapters to reflect changes in Lean. Closes #196.#197
Merged
soonhokong merged 2 commits intoleanprover:masterfrom avigad:masterMay 20, 2016
+189-181