HOME
BLOG
BOOKSHELF
CATEGORIES
LEAN
TALKS
COURSEWORK
TAGS
ARCHIVES

Home Tags category-theory

Tag

category-theory 1

The Free-er Monad May 21, 2025

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.