Issues

• Timeout: ?a = ?b → ?c = ?d → ?a + ?c = ?b + ?d

  nomeata/loogle#62 · Filter by author yaitskov opened on Aug 18, 2026

• Search options and filters

  nomeata/loogle#61 · Filter by author quartztz opened on Jul 16, 2026
  2

• Allow to narrow down search to particular release/tag

  nomeata/loogle#46 · Filter by author vzaliva opened on Dec 12, 2025
  3

• Limit the number of results returned via the /json endpoint.

  nomeata/loogle#40 · Filter by author oOo0oOo opened on Jun 30, 2025

• Mark deprecated definitions/theorems

  nomeata/loogle#34 · Filter by author tristan-f-r opened on Apr 13, 2025
  5

• searching for Nat → Nat prints invalid MessageData.lazy, missing context

  nomeata/loogle#25 · Filter by author nomeata opened on Feb 11, 2025
  1

• ⊢ could also consider the left and right argumemnts of an Iff lemma

  nomeata/loogle#23 · Filter by author nomeata opened on Nov 24, 2024

• parse scoped notation

  nomeata/loogle#19 · Filter by author fpvandoorn opened on Oct 17, 2024
  3

• Ignore instance arguments when creating index

  nomeata/loogle#18 · Filter by author nomeata opened on Sep 11, 2024
  1

• suggest miscapitalisations

  nomeata/loogle#16 · Filter by author nomeata opened on Apr 22, 2024

• loogle easily confused by keywords like repeat

  nomeata/loogle#15 · Filter by author philderbeast opened on Mar 25, 2024
  2

• Add opensearch tags to allow automatic search engine addition in browsers

  nomeata/loogle#14 · Filter by author alexjbest opened on Feb 29, 2024
  4

• Use a front-end framework

  nomeata/loogle#11 · Filter by author ssdurante opened on Jan 2, 2024
  1

• Allow searching for just lemmas or just definitions (I guess: Prop/Sort)

  nomeata/loogle#9 · Filter by author ericrbg opened on Dec 21, 2023
  5

• Improved type rendering

  nomeata/loogle#7 · Filter by author nomeata opened on Dec 1, 2023
  1

• Negative filters

  nomeata/loogle#6 · Filter by author nomeata opened on Nov 29, 2023
  1

• Investigate why 123 leads to deterministic timeout

  nomeata/loogle#3 · Filter by author nomeata opened on Nov 7, 2023
  3