3 ms·
Moogle.ai is a natural language search engine for the Lean library. It was developed by Morph Labs[0]. [0]: https://morph.so https://morph.so
by iNic 3y ago
Moogle.ai is a natural language search engine for the Lean library. It was developed by Morph Labs[0].
[0]: https://morph.so https://morph.so