Alex Gryzlov@clayrat 
Logic, languages and systems
idris top 10 formal-verification top 100 decentralized-applications top 1000

Expertise

Global rank

# 218,791

Location

Madrid
Languages
idris
coq
PureScr...
Haskell
Racket
OCaml
Topics
formal-...
decentr...
formal-...
theorem...
seriali...
categor...
decentr...
single-...
marshal...
softwar...

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.