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
9688% of 2167CIS 122
3167% of 2333FArekkusu
Status:Testing & feedback needed
Estimated Rank:
7 kyu
10100% of 12surtich
Status:Testing & feedback needed

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained55
Total Skips3
Total Code Submissions19
Total Times Completed12
Coq Completions12
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