Logo Questions Linux Laravel Mysql Ubuntu Git Menu
HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin
 
avatar of Alexander Gryzlov

Alexander Gryzlov

Alexander Gryzlov has asked 1 questions and find answers to 7 problems.

Stats

152
EtPoint
42
Vote count
1
questions
7
answers

About

I write Coq, Idris, Scala and Purescript.

Interested in formal verification, distributed systems, machine learning and dataviz.

Alexander Gryzlov questions