5 kyu

Multiples of 3, you say?

Description:

Loading description...
Theorem Proving
Puzzles

Stats:

CreatedApr 27, 2019
PublishedApr 27, 2019
Warriors Trained610
Total Skips25
Total Code Submissions180
Total Times Completed116
Coq Completions60
Agda Completions27
Idris Completions7
Lean Completions29
Total Stars9
% of votes with a positive feedback rating91% of 23
Total "Very Satisfied" Votes19
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes0
Total Rank Assessments3
Average Assessed Rank
5 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • donaldsebleung Avatar
  • kazk Avatar
  • monadius Avatar
Ad