search

leanprover / theorem_proving_in_lean

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

tactics.rst: typo #90

Closed dharmatech closed 4 years ago

dharmatech commented 4 years ago

'that that' -> 'that'