3 ms·Moogle: Find Theorems, Faster4 points by iNic 3y agoiNic 3y agoMoogle.ai is a natural language search engine for the Lean library. It was developed by Morph Labs[0]. [0]: https://morph.so https://morph.sowebmaven 3y agoSome example prompts/searches would be interesting. Can anyone suggest some?