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