Choosing Dependent Type Theory
11:04–11:37 · 34s
A pivotal early debate ends with Jeremy Avigad persuading Leo de Moura to adopt dependent type theory, locking in Lean’s mathematician-friendly foundation.
11:04–11:37 · 34s
A pivotal early debate ends with Jeremy Avigad persuading Leo de Moura to adopt dependent type theory, locking in Lean’s mathematician-friendly foundation.
We use cookies to understand how you use our platform and to improve your experience. Click "Accept All" to consent, or "Decline non-essential" to opt out of non-essential cookies. Read our Privacy Policy.