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,936 annotated results 27.9% formalized 14.1% partial 58.0% not yet open the Brain full-page ↗
Least recently reviewed: Abelian varietynever reviewed Altitude (triangle)never reviewed Borel–Kolmogorov paradoxnever reviewed Calculus of variationsnever reviewed Cartan connectionnever reviewed Cofinalitynever reviewed Combinatorial designnever reviewed Commutative diagramnever reviewed