LeanSearchClient
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
of 3 versions of LeanSearchClient
1-3Sort by
Date
99657ad
v4.17.0863.6 KB781bece
v4.11.0v4.11.0781bece
v4.12.0v4.11.0