5 kyu

Multiples of 3, you say?

2488% of 1638 of 65donaldsebleung
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained257
Total Skips15
Total Code Submissions86
Total Times Completed65
Coq Completions38
Agda Completions14
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