Moogle

Moogle is a semantic search engine for mathlib4, the Lean 4 mathematical library. Type a natural-language or mathematical query on the homepage and Moogle