Home
Tags
dynamic-programming
Tag
Cancel
dynamic-programming
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