search

leanprover / theorem_proving_in_lean

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

move hidden code into exposed block #73

Closed holtzermann17 closed 5 years ago

holtzermann17 commented 5 years ago

Another case where code is hidden in the source file but not exposed in the HTML.