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