Open Issues Need Help
View All on GitHub Algorithm Development • Formal Verification
memoization version of knapsack about 1 month ago
AI Summary: Implement a memoized version of the knapsack algorithm in Lean, along with a proof of equivalence to the existing recursive version. The solution should leverage existing Lean code and potentially strategies from a provided `Memoization.lean` file. Documentation of the implementation process is required.
Complexity:
4/5
good first issue
Verified algorithms in Lean, implemented and proved by AIs
Lean