5 kyu

Multiples of 3, you say?

2491% of 1127 of 38donaldsebleung
Discourse (7)
  • |
  • Share this kata:
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained131
Total Skips6
Total Code Submissions49
Total Times Completed38
Coq Completions27
Agda Completions13
Idris Completions1
Total Stars2
% of votes with a positive feedback rating91% of 11
Total "Very Satisfied" Votes9
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