5 kyu

Finding the maximal program

Description:

Loading description...
Theorem Proving
Puzzles

Stats:

CreatedMay 16, 2019
PublishedMay 16, 2019
Warriors Trained91
Total Skips5
Total Code Submissions38
Total Times Completed28
Coq Completions28
Total Stars2
% of votes with a positive feedback rating93% of 7
Total "Very Satisfied" Votes6
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
Ad
Contributors
  • donaldsebleung Avatar
  • kazk Avatar
  • Voile Avatar
  • monadius Avatar
Ad