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