search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 92 forks source link

Removes an unused variable in a Chapter 5 example. #43

Closed benjaminselfridge closed 2 years ago

benjaminselfridge commented 2 years ago

I was going through the chapter on tactics and noticed what looks like a minor copy/paste redundancy.