Concept detail
mathlib
1 tagged videos · 1 connection videos · degree 0
Publication timeline
- 2026-081 video
- 2026-091 video
Source videos
Observed neighbors
reusable verification substrate
A shared library of formalized results lowers per-project formalization cost, functioning as infrastructure for both humans and agents.
1 source videos
Creator of Lean: Handwritten Math Will Change Dramatically | Leonardo de Moura