search

leanprover / theorem_proving_in_lean4

Theorem Proving in Lean 4
https://leanprover.github.io/theorem_proving_in_lean4/
Apache License 2.0
164 stars 92 forks source link

Make keywords searchable #86

Open BoltonBailey opened 11 months ago

BoltonBailey commented 11 months ago

I recently tried to search for how to introduce a let expression, but got no results. It would be nice if the search functionality would return hits to lean keywords as an exception to whatever is currently preventing this.