Moogle: Semantic search over mathlib4 - discu.eu

Hacker News

Moogle: Find Theorems, Faster https://www.moogle.ai 2 comments 1/11/2023

Reddit

Moogle, a semantic search engine for Mathlib, the Lean mathematical library by Morph. You can now find theorems using natural language https://www.moogle.ai/ 20 comments 1/11/2023 math

Linking pages

A Beginner's Companion to Theorem Proving in Lean 4 | Blog | emallson.net https://emallson.net/blog/a-beginners-companion-to-theorem-proving-in-lean/ 17 comments

Related searches:

Search whole site: site:www.moogle.ai

Search title: Moogle: Semantic search over mathlib4

See how to search.

Submit link to: