Moogle Moogle is an AI tool designed for semantic search in the mathlib4 repository. Its main function is to enhance the theorems mathematics search
