tactics.rst: typo - Githubissues

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 46 forks source link

Closed ben-dyer closed 4 years ago

ben-dyer commented 4 years ago

"in is" -> "is in"

Thank you for this fantastic document :+1:

avigad commented 4 years ago

Sorry to be slow to get to this! Many thanks for the correction.