GitHub repository: siddhartha-gadgil/LeanSearchClient
Primary language: Lean
Created: 2024-09-11T03:44:25Z
Description: Syntax for searching with natural language from Lean, using https://leansearch.net/ (may extend to other services)