7 kyu

Google interview

5491% of 3532 of 145ice1000
Loading description...
Theorem Proving
Data Structures

These users have contributed to this kata:


CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained386
Total Skips19
Total Code Submissions202
Total Times Completed145
Idris Completions32
Agda Completions37
Coq Completions64
Lean Completions23
Total Stars5
% of votes with a positive feedback rating91% of 35
Total "Very Satisfied" Votes30
Total "Somewhat Satisfied" Votes4
Total "Not Satisfied" Votes1
Total Rank Assessments10
Average Assessed Rank
7 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu