5 kyu

Times Three, Plus Five

3088% of 818 of 24klao
Loading description...
Theorem Proving

These users have contributed to this kata:


CreatedFeb 28, 2020
PublishedFeb 28, 2020
Warriors Trained70
Total Skips2
Total Code Submissions53
Total Times Completed24
Coq Completions18
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