Tanner
Duve
Toggle navigation
about
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