Contact
🔒 Contacts are masked. Get full emails & phones. Unlock via export ↗
Category & trade
Primary
artificial-intelligence · embed-ft 0.77
Tree path
Technology & Computing › Artificial Intelligence
Group (tier-1)
Tech stack
AI readiness
AI-Readiness score
42 / 100 · partial · see similar
AI training policy
allowed
AI-bot protection
AI files
llms.txt ai.txt humans.txt robots.txt
Compliance (GEO / GDPR)
TLD
Overview
Title
BMUCO — Formal Mathematics Meets AI | BMUCO — Formal Mathematics Meets AI
Description
We develop formal mathematical datasets in Lean 4 and build AI theorem proving infrastructure — partnering with frontier research institutions.
Final URL
Language
en (html)
Scanned at
2026-06-30 06:06:52