7 kyu

Google interview

59 of 313ice1000

Description:

Loading description...
Theorem Proving
Data Structures
Trees
Algorithms

Stats:

CreatedMar 10, 2019
PublishedMar 10, 2019
Warriors Trained873
Total Skips35
Total Code Submissions500
Total Times Completed313
Idris Completions59
Agda Completions100
Coq Completions133
Lean Completions51
Total Stars13
% of votes with a positive feedback rating86% of 55
Total "Very Satisfied" Votes43
Total "Somewhat Satisfied" Votes9
Total "Not Satisfied" Votes3
Total Rank Assessments10
Average Assessed Rank
7 kyu
Highest Assessed Rank
4 kyu
Lowest Assessed Rank
8 kyu
Ad
Contributors
  • ice1000 Avatar
  • lolisa Avatar
  • donaldsebleung Avatar
  • kazk Avatar
  • monadius Avatar
  • kckennylau Avatar
Ad