LeanEconomics/DynamicProgramming
Dynamic Programming results in Lean
GitHub repository with 11 stars and 1 forks.
Language: Lean
24h trend summary
Trending score 0.07, freshness score 0.44, stars gained +0, forks gained +0.
Latest metric snapshot
2026-11-15: 11 stars and 1 forks.