Open Issues Need Help
View All on GitHub Algorithm Development • Formal Verification
memoization version of knapsack about 1 month ago
good first issue ready-for-ai gsm
Verified algorithms in Lean, implemented and proved by AIs
Lean