4 kyu

Finding the maximal program

Details
Solutions
Discourse (1)
  • |
  • Share this kata:
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
8588% of 2163CIS 122
2069% of 2130FArekkusu
Status:Testing & feedback needed
Estimated Rank:
7 kyu
3269% of 814
Status:Testing & feedback needed
Estimated Rank:
3 kyu

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained35
Total Skips1
Total Code Submissions17
Total Times Completed10
Coq Completions10
Total Stars1
% of votes with a positive feedback rating88% of 9
Total "Very Satisfied" Votes3
Total "Somewhat Satisfied" Votes6
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
4 kyu
Highest Assessed Rank
3 kyu
Lowest Assessed Rank
5 kyu