GitHub repository: tannerduve/coins
Primary language: Lean
Description: Lean implementation and proof of correctness of a dynamic programming algorithm to solve the Bytelandian gold coin problem.