Rephrase confusing and imprecise text - Githubissues

leanprover / tutorial

Lean Tutorials

https://leanprover.github.io/tutorial

Apache License 2.0

44 stars 46 forks source link

Rephrase confusing and imprecise text #166

Closed spl closed 8 years ago

spl commented 8 years ago

And remove the word "shorted"

soonhokong commented 8 years ago

Merged by 19499992736939e61bda17a57f28993368c337a2