A public, open initiative to build Riemannian geometry into a living, machine-verified textbook — a shared foundation anyone can learn from, contribute to, reuse, and build on. Made for everyone.