LeanSearchClient

https://github.com/leanprover-community/leansearchclient

LeanSearchClient provides syntax for searching Lean tactics and theorems using natural language...

Tokens:2,759
Snippets:26
Trust Score:9.5
License:Apache-2.0
Update:2 months ago
Tokens:
Raw