7 kyu

Google interview

5490% of 3632 of 146ice1000
Loading description...
Theorem Proving
Data Structures

These users have contributed to this kata:


CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained391
Total Skips19
Total Code Submissions204
Total Times Completed146
Idris Completions32
Agda Completions37
Coq Completions65
Lean Completions24
Total Stars5
% of votes with a positive feedback rating90% of 36
Total "Very Satisfied" Votes30
Total "Somewhat Satisfied" Votes5
Total "Not Satisfied" Votes1
Total Rank Assessments10
Average Assessed Rank
7 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu