An improved search engine for Lean: https://loogle.lean-fro.org/ https://github.com/nomeata/loogle I haven’t used it yet but it looks promising. I personally don&rs . . . Read more