5 kyu

Times Three, Plus Five

3088% of 820 of 26klao
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedFeb 28, 2020
PublishedFeb 28, 2020
Warriors Trained103
Total Skips5
Total Code Submissions55
Total Times Completed26
Coq Completions20
Lean Completions7
Total Stars3
% of votes with a positive feedback rating88% of 8
Total "Very Satisfied" Votes6
Total "Somewhat Satisfied" Votes2
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
5 kyu