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