Moogle Badge
Accelerates theorem discovery in mathlib4 with semantic search, delivering faster and more accurate results for mathematicians, researchers, and students.
Create Your Vectorlens Badge
Showcase your project's presence on Vectorlens with a custom badge. This can help increase your visibility, build credibility, and connect you with AI enthusiasts and potential users.