make the variables show up in HTML

leanprover / theorem_proving_in_lean

Theorem proving in Lean

Apache License 2.0

47 stars 47 forks source link

make the variables show up in HTML #55

Closed holtzermann17 closed 6 years ago

holtzermann17 commented 6 years ago

The variables were defined earlier but then an example that didn't use them was discussed. Suggestion to redefine them in context so code can be straightforwardly run after copy-and-paste.