The Lean Module SystemDate: January 20, 2026Review of my main technical contribution of 2025.Slides Previous Next