interacting_with_lean.rst: typos - Githubissues

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 46 forks source link

interacting_with_lean.rst: typos #99

Closed ben-dyer closed 4 years ago

ben-dyer commented 4 years ago

minor typos:

"the coe" --> "coe"
"definition are serving" --> "definition as serving"
"attributes can assigned" --> "attributes can be assigned"