https://apurvanakade.github.io/blog/tags/search/ Recent content in Search on PostDoc Problems Hugo en Thu, 31 Aug 2023 16:37:51 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2023-08-30-loogle/ Thu, 31 Aug 2023 16:37:51 +0000 https://apurvanakade.github.io/blog/maths--science/lean/2023-08-30-loogle/ <p>An improved search engine for Lean:</p> <ul> <li><a href="https://loogle.lean-fro.org/">https://loogle.lean-fro.org/</a></li> <li><a href="https://github.com/nomeata/loogle">https://github.com/nomeata/loogle</a></li> </ul> <p>I haven&rsquo;t used it yet but it looks promising. I personally don&rsquo;t like the search on <a href="https://leanprover-community.github.io/mathlib4_docs/index.html">mathlib4_docs</a> and find it very glitchy, slow, and cumbersome. Normally, I just use <code>grep</code> in VSCode instead, which is better but still very cumbersome and requires a lot of regex jujitsu. Hopefully this search is better and more useful. Looking forward to trying it out.</p>