search

leanprover / tutorial

Lean Tutorials
https://leanprover.github.io/tutorial
Apache License 2.0
44 stars 46 forks source link

Typos in tutorial #200

Closed tomsib2001 closed 8 years ago

tomsib2001 commented 8 years ago

Minor typos corrected. PR to be updated if others found.

tomsib2001 commented 8 years ago

There seems to be a bug in the checks as the reported error mentions the version of cmake.

soonhokong commented 8 years ago

There seems to be a bug in the checks as the reported error mentions the version of cmake.

@tomsib2001, that's right. I'll fix that soon.

soonhokong commented 8 years ago

@tomsib2001, the problem in Travis-CI is fixed now.

soonhokong commented 8 years ago

@avigad, if you think https://github.com/leanprover/tutorial/pull/200/commits/7ea45282724e3a8e9c922bbbfe92c84c1115520a is good to be merged, please let us know.

avigad commented 8 years ago

Yes, please do! @tomsib2001, many thanks.

soonhokong commented 8 years ago

merged by 0a2d14e