Zulip Chat Archive
Stream: general
Topic: LeanSearch API
Bolton Bailey (Apr 13 2025 at 00:04):
What is the URL for the LeanSearch API? It wasn't obvious to me from the recent announcement.
Bolton Bailey (Apr 13 2025 at 00:05):
@Tony Beta Lambda
Kim Morrison (Apr 13 2025 at 01:36):
https://github.com/leanprover-community/LeanSearchClient/blob/main/LeanSearchClient/Syntax.lean
Tony Beta Lambda (Apr 17 2025 at 04:00):
Bolton Bailey (Apr 17 2025 at 07:55):
Sweet, that seems to work, thanks!
Last updated: May 02 2025 at 03:31 UTC