5 kyu

Times Three, Plus Five

31 of 42klao

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedFeb 28, 2020
PublishedFeb 28, 2020
Warriors Trained156
Total Skips16
Total Code Submissions80
Total Times Completed42
Coq Completions31
Lean Completions14
Total Stars5
% of votes with a positive feedback rating85% of 10
Total "Very Satisfied" Votes7
Total "Somewhat Satisfied" Votes3
Total "Not Satisfied" Votes0
Total Rank Assessments4
Average Assessed Rank
4 kyu
Highest Assessed Rank
2 kyu
Lowest Assessed Rank
5 kyu
Ad
Contributors
  • klao Avatar
  • donaldsebleung Avatar
  • monadius Avatar
Ad