Moogle Moogle est un outil d'IA conçu pour la recherche sémantique dans le dépôt mathlib4. Sa principale fonction est d'améliorer le les théorèmes mathématiques rechercher
