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
000% of 01gihanm
Status:Testing & feedback needed
Estimated Rank:
4 kyu
5171% of 2941FArekkusu
Status:Testing & feedback needed
Estimated Rank:
7 kyu

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained68
Total Skips4
Total Code Submissions27
Total Times Completed20
Coq Completions20
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