theorem_proving_in_lean4 icon indicating copy to clipboard operation
theorem_proving_in_lean4 copied to clipboard

Published 20 hours ago • verified publisher icon leanprover

Make keywords searchable

Open BoltonBailey opened this issue 1 year ago • 0 comments

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.

BoltonBailey avatar Dec 03 '23 07:12 BoltonBailey