search

leanprover / theorem_proving_in_lean

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

This is a small grammar fix. #52

Closed holtzermann17 closed 6 years ago

holtzermann17 commented 6 years ago

(originally) "The cases can also be used..."

(revised) "The cases tactic can also be used..."

The original wording sounds like the same cases as in the previous example are being used in the new example, which doesn't make sense.