Chapter Induction and Recursion: various corrections

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4

Apache License 2.0

164 stars 93 forks source link

Closed paulch42 closed 2 years ago

paulch42 commented 3 years ago

fix broken links correct definition of fibFast some typos

leodemoura commented 2 years ago

Merged manually due to conflicts