The Lean Module System

Date:

Review of my main technical contribution of 2025.

Slides