Nickolai Zeldovich@zeldovich 
coq top 100 grub2 top 1000 dependent-types top 1000

Expertise

Global rank

# 106,146

Location

None
Languages
coq
OCaml
golang
TeX
Haskell
Perl
Go
Products
sed
Topics
grub2
depende...
theorem...
tpm
archive...
obsolet...
Privacy

Help us improve

If you found missing or incorrect information, or would like to request the removal of this profile, please contact [email protected]

We use cookies. If you continue to browse the site, you agree to the use of cookies. For more information on our use of cookies please see our Privacy Policy.