anton_trunov
Anton Trunov
I'm a Coq programmer at Zilliqa Research Pte. Ltd., previously at IMDEA Software Intitute, Madrid, Spain
Saint Petersburg, Russia
Following (1)
|
ichistmeinname Sandra Dylus |
Followers (1)
|
k4rtik Kartik Singhal |
Browse others (15)
|
littoria Littoria Cristiano |
|
kmoll Kevin Moll |
|
cctrueblood CC |
|
miltonshumway Milton Shumway |
|
|
kellybenny Kelly Bennett |
|
herseus Zejun Huang |
|
|
robertordway Robert Ordway |
|
hockeyinjune Julian Cohen |
|
|
darbol Daniel Arbol |
