7 kyu

A random fact about filtering

Loading description...
Theorem Proving

These users have contributed to this kata:

  • donaldsebleung Avatar
  • lolisa Avatar
  • kazk Avatar
  • monadius Avatar
  • kckennylau Avatar


CreatedApr 19, 2019
PublishedApr 19, 2019
Warriors Trained288
Total Skips12
Total Code Submissions149
Total Times Completed101
Coq Completions70
Idris Completions11
Lean Completions26
Total Stars3
% of votes with a positive feedback rating100% of 19
Total "Very Satisfied" Votes19
Total "Somewhat Satisfied" Votes0
Total "Not Satisfied" Votes0
Total Rank Assessments5
Average Assessed Rank
7 kyu
Highest Assessed Rank
5 kyu
Lowest Assessed Rank
8 kyu