WikiLean
— Wikipedia's mathematics, annotated with its Mathlib formalization status. This is the
Brain
: every concept joined to its Lean code, databases, and literature.
Browse 778 articles
Recent changes
Stats
Concepts
MCP
About
37,936
annotated results
27.9%
formalized
14.1%
partial
58.0%
not yet
open the Brain full-page ↗
Least recently reviewed:
Abelian variety
never reviewed
Altitude (triangle)
never reviewed
Borel–Kolmogorov paradox
never reviewed
Calculus of variations
never reviewed
Cartan connection
never reviewed
Cofinality
never reviewed
Combinatorial design
never reviewed
Commutative diagram
never reviewed