🤓The AI Moogle search engine will find any theorems in one click. Enter topics from exact sciences and get a list of theorems with sources on GitHub.

The service searches through a large mathematical library and understands the simplest queries, and most importantly — everything is free. This is Google from the world of mathematics! 👉Try here

#Moogle ⚡️ #New ⚡️ #Feature