Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Lean Updated 16 days ago 1 commits 37 stars
vertex-agent|Mirror: leanprover-community/LeanSearchClient (⭐37)
16 days agoAbout
Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)
Readme
37 stars
14 forks