5 kyu

Multiples of 3, you say?

2488% of 1639 of 67donaldsebleung
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained263
Total Skips15
Total Code Submissions90
Total Times Completed67
Coq Completions39
Agda Completions15
Idris Completions2
Lean Completions16
Total Stars2
% of votes with a positive feedback rating88% of 16
Total "Very Satisfied" Votes12
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