5 kyu

Multiples of 3, you say?

2492% of 1327 of 42donaldsebleung
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained159
Total Skips10
Total Code Submissions55
Total Times Completed42
Coq Completions27
Agda Completions13
Idris Completions2
Lean Completions5
Total Stars2
% of votes with a positive feedback rating92% of 13
Total "Very Satisfied" Votes11
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu