Verified dynamic programming with Σ-types in Lean

[rck]

Article URL: https://tannerduve.github.io/blog/memoization-sigma/

Comments URL: https://news.ycombinator.com/item?id=44299680

Points: 50

# Comments: 15