DeepWiki for searching Mathlib

Stream: Machine Learning for Theorem Proving

[Snir Broshi]

Hey, I found a free tool called DeepWiki that let's you ask stuff about any public GitHub repo using an LLM chat.

Here's the link for chatting about the Mathlib repo: https://deepwiki.com/leanprover-community/mathlib4
I've been using it as an alternative to LeanSearch and the like, and it sometimes works better because it's an actual chat and not a search query.

The chats are also shareable, here's a successful example of me discovering Finsupp.zipWith: https://deepwiki.com/search/function-that-constructs-a-fin_38bd411e-3ce9-4a9f-a7d8-3d70e50af9e9

Wdyt?

(btw as far as privacy goes, I think it's safe to assume that they're keeping a copy of everything we type in there and training on it, so don't provide any secrets or personal info)