search

leanprover / theorem_proving_in_lean

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

Fix a small typo #30

Closed lembergerth closed 7 years ago

lembergerth commented 7 years ago

The online code examples actually read "try it!", not "try it yourself".

avigad commented 7 years ago

Thanks!