Verified maximum subarray sum

23100% of 25dramforever
Loading description...
Theorem Proving
Dynamic Programming

These users have contributed to this kata:

Other Kata Authored By dramforever:

52100% of 23dramforever
Status:Testing & feedback needed
Estimated Rank:
4 kyu
62100% of 16dramforever
Status:Testing & feedback needed
Estimated Rank:
2 kyu


CreatedJun 21, 2019
PublishedJun 21, 2019
Warriors Trained96
Total Skips8
Total Code Submissions4
Total Times Completed5
Coq Completions5
Agda Completions1
Total Stars2
% of votes with a positive feedback rating100% of 2
Total "Very Satisfied" Votes2
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments2
Average Assessed Rank
2 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
2 kyu