Search results

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

Status: Open.

#40 In nomeata/loogle;

· oOo0oOo opened on Jun 30, 2025

Mark deprecated definitions/theorems

Status: Open.

#34 In nomeata/loogle;

· tristan-f-r opened on Apr 13, 2025

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

Status: Open.

#25 In nomeata/loogle;

· nomeata opened on Feb 11, 2025

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

Status: Open.

#23 In nomeata/loogle;

· nomeata opened on Nov 24, 2024

parse scoped notation

Status: Open.

#19 In nomeata/loogle;

· fpvandoorn opened on Oct 17, 2024

Ignore instance arguments when creating index

Status: Open.

#18 In nomeata/loogle;

· nomeata opened on Sep 11, 2024

suggest miscapitalisations

Status: Open.

#16 In nomeata/loogle;

· nomeata opened on Apr 22, 2024

loogle easily confused by keywords like <code>repeat</code>

Status: Open.

#15 In nomeata/loogle;

· philderbeast opened on Mar 25, 2024

Add opensearch tags to allow automatic search engine addition in browsers

Status: Open.

#14 In nomeata/loogle;

· alexjbest opened on Feb 29, 2024

Use a front-end framework

Status: Open.

#11 In nomeata/loogle;

· samueldurantes opened on Jan 2, 2024

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

Status: Open.

#9 In nomeata/loogle;

· ericrbg opened on Dec 21, 2023

Improved type rendering

Status: Open.

#7 In nomeata/loogle;

· nomeata opened on Dec 1, 2023