WikiLean — Wikipedia's mathematics, annotated with its Mathlib formalization status. This is the Brain: every concept joined to its Lean code, databases, and literature.
35,668 annotated results 27.2% formalized 14.2% partial 58.6% not yet open the Brain full-page ↗