Mathlib

The future of mathematics: formally verified, collaboratively built, universally accessible.