WikiLean — Wikipedia's mathematics, annotated with its Mathlib formalization status. This is the Brain: every concept joined to its Lean code, databases, and literature.
37,627 annotated results 27.8% formalized 14.1% partial 58.1% not yet open the Brain full-page ↗
Least recently reviewed: 8never reviewed Abelian varietynever reviewed Aleph numbernever reviewed Algebraic numbernever reviewed Algebraic structurenever reviewed Algebraic varietynever reviewed Altitude (triangle)never reviewed Borel–Kolmogorov paradoxnever reviewed