Home
Categories
Algorithms
Category
Cancel
Algorithms
1
Verified Dynamic Programming with Σ-types in Lean
May 21, 2025
Trending Tags
lean
category-theory
dependent-types
dynamic-programming
effects
formal-verification
free-monads
sigma-types