HOME
BLOG
BOOKSHELF
CATEGORIES
LEAN
TALKS
COURSEWORK
TAGS
ARCHIVES

Home Archives

Archives

Archives

2025

21 May The Free-er Monad
21 May Verified Dynamic Programming with Σ-types in Lean

Recently Updated

The Free-er Monad
Verified Dynamic Programming with Σ-types in Lean

Trending Tags

lean category-theory dependent-types dynamic-programming effects formal-verification free-monads sigma-types

© 2025 Tanner Duve. Some rights reserved.

Using the Chirpy theme for Jekyll.

Trending Tags

lean category-theory dependent-types dynamic-programming effects formal-verification free-monads sigma-types

A new version of content is available.