Jeremy Salwen 1cb84f6d74 Add filters for search results based on kind. ... This allows you to search defs, theorems, etc independently.		2023-02-01 15:15:45 +01:00
..
LeanInk	…
Output	Add filters for search results based on kind.	2023-02-01 15:15:45 +01:00
Process	…
LeanInk.lean	…
Load.lean	…
Output.lean	…
Process.lean	…