Tanner
Duve
Toggle navigation
about
Blog
Bookshelf
Lean
(current)
Coursework
Talks
ctrl k
Lean
an archive of posts in this category
Apr 17, 2026
Part 3: Verifying IMP Programs
Apr 17, 2026
Part 2: Lean's `Part` Monad