What research question would be a good first test for Moogle?
Moogle
Moogle helps users quickly find theorems using semantic search over mathlib4. Moogle improves research efficiency by delivering accurate and relevant mathematical results.
Search & ResearchOfficial Links
Screenshots
Screenshots have not been verified for this listing yet.
About Moogle
Moogle helps users quickly find theorems using semantic search over mathlib4. Moogle improves research efficiency by delivering accurate and relevant mathematical results.
Announcements
No announcements yet.
Community activity
Recent follows, shares, ratings, and collection saves for Moogle.
No community activity yet. Follow or share Moogle to get things started.
Comments
Sign in to join the discussion.