nomeata/loogle issues and pull requests

#20 - Use ppSignature (but strip out the id)

Pull Request - State: closed - Opened by nomeata about 1 month ago

#19 - parse scoped notation

Issue - State: open - Opened by fpvandoorn about 1 month ago - 2 comments

#18 - Ignore instance arguments when creating index

Issue - State: open - Opened by nomeata 3 months ago

#17 - Invisible characters

Issue - State: open - Opened by YnirPaz 5 months ago - 4 comments

#16 - suggest miscapitalisations

Issue - State: open - Opened by nomeata 7 months ago

#15 - loogle easily confused by keywords like `repeat`

Issue - State: open - Opened by philderbeast 8 months ago - 2 comments

#14 - Add opensearch tags to allow automatic search engine addition in browsers

Issue - State: open - Opened by alexjbest 9 months ago - 4 comments

#13 - Showing types for found definitions

Pull Request - State: closed - Opened by volodeyka 9 months ago - 6 comments

#12 - `uncaught exception: unknown package 'ImportGraph'` when Mathlib is not built

Issue - State: closed - Opened by dranov 11 months ago - 4 comments

#11 - Use a front-end framework

Issue - State: open - Opened by samueldurantes 11 months ago - 1 comment

#10 - seccomp.h not found

Issue - State: closed - Opened by MichaelStollBayreuth 11 months ago - 5 comments

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

Issue - State: open - Opened by ericrbg 12 months ago - 5 comments

#8 - Show definitions that mention all types of none matches exactly

Issue - State: closed - Opened by maufl 12 months ago

#7 - Improved type rendering

Issue - State: open - Opened by nomeata 12 months ago - 1 comment

#6 - Negative filters

Issue - State: open - Opened by nomeata about 1 year ago - 1 comment

#5 - flake: eachDefaultSystem

Pull Request - State: closed - Opened by alissa-tung about 1 year ago - 12 comments

#4 - Duplicate result

Issue - State: closed - Opened by nomeata about 1 year ago

#3 - Investigate why `123` leads to deterministic timeout