HOME
BLOG
BOOKSHELF
CATEGORIES
LEAN
TALKS
COURSEWORK
TAGS
ARCHIVES

Home Tags lean

Tag

lean 2

The Free-er Monad May 21, 2025
Verified Dynamic Programming with Σ-types in Lean 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.