Tanner
Duve
Toggle navigation
About
About
(current)
Blog
Bookshelf
Lean
Coursework
Talks
ctrl k
Algorithms
an archive of posts in this category
May 21, 2025
Verified Dynamic Programming with Σ-types in Lean