5 kyu

Times Three, Plus Five

32 of 43klao

Description:

Loading description...
Theorem Proving
Fundamentals

Stats:

CreatedFeb 28, 2020
PublishedFeb 28, 2020
Warriors Trained160
Total Skips16
Total Code Submissions84
Total Times Completed43
Coq Completions32
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