5 kyu

Finding the maximal program

Loading description...
Puzzles
Theorem Proving

These users have contributed to this kata:

Similar Kata:

Status:Testing & feedback needed
Estimated Rank:
2 kyu
1277% of 1517Tova7
Status:Testing & feedback needed
Estimated Rank:
6 kyu
3169% of 2636FArekkusu
Status:Testing & feedback needed
Estimated Rank:
7 kyu
20100% of 12surtich
Status:Testing & feedback needed

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained63
Total Skips3
Total Code Submissions25
Total Times Completed18
Coq Completions18
Total Stars1
% of votes with a positive feedback rating90% of 5
Total "Very Satisfied" Votes4
Total "Somewhat Satisfied" Votes1
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
6 kyu