Loading Google interview
7 kyu
Loading Google interview
7 kyu
Google interview
59 of 313ice1000
-
Language
- Agda (Beta)
- Coq
- Idris (Beta)
- Lean
-
Language Version
Loading description...
Theorem Proving
Data Structures
Trees
Algorithms