5 kyu

Multiples of 3, you say?

Description:

Loading description...
Theorem Proving
Puzzles

Stats:

CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained609
Total Skips25
Total Code Submissions179
Total Times Completed115
Coq Completions59
Agda Completions27
Idris Completions7
Lean Completions29
Total Stars9
% of votes with a positive feedback rating91% of 23
Total "Very Satisfied" Votes19
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • donaldsebleung Avatar
  • kazk Avatar
  • monadius Avatar
Ad