leanprover / theorem_proving_in_lean

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

minor wording change: we see it now, will *discuss* further later on #57

Closed holtzermann17 closed 6 years ago

holtzermann17 commented 6 years ago

This is a one-line wording change. Maybe subjective, but it seems to read better this way, since an example is already given in the current section (but theory appears later).