Search results

Inconsistency between #loogle command and web interface when parsing Set notation with wildcards

Status: Open.

#27 In leanprover-community/LeanSearchClient;

· jganten opened on Nov 20, 2025

HTTP 405: Leansearch down?

Status: Open.

#21 In leanprover-community/LeanSearchClient;

· ryanznie opened on Jun 2, 2025

can this be run locally?

Status: Open.

#18 In leanprover-community/LeanSearchClient;

· alok opened on Apr 17, 2025

<code>#loogle</code> command's unexpected behavior when used with <code>#guard_msgs</code>

Status: Open.

#8 In leanprover-community/LeanSearchClient;

· Seasawher opened on Sep 20, 2024