search

leanprover / reference-manual

Apache License 2.0
25 stars 3 forks source link

fix: use the correct `example` command #119

Closed david-christiansen closed 1 month ago

david-christiansen commented 1 month ago

Fixes #114.