discu
Newsletters
Mentions
Extension
Pricing
Login
Sign Up
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