Logo Questions Linux Laravel Mysql Ubuntu Git Menu
 
avatar of shengyushen

shengyushen

shengyushen has asked 3 questions and find answers to 0 problems.

Stats

15
EtPoint
0
Vote count
3
questions
0
answers

About

Formal methods researcher and tool developer. Using OCaml most of the time. But start to (re)learn C++ recently.