M
Moogle
✓ verified, sync 2026-08-20Moogle is an AI tool designed for semantic search in the mathlib4 repository. Its primary function is to enhance the process of finding theorems within the mathlib4 repository, all….
What it does.
Moogle is an AI tool designed for semantic search in the mathlib4 repository. Its primary function is to enhance the process of finding theorems within the mathlib4 repository, allowing users to locate relevant content in an efficient manner. By leveraging semantic search techniques, Moogle is able ...
Pricing history.
No approved price events on record
This listing's pricing hasn't changed since indexing, or a change is still in review. Zero events is a real answer, not missing data.