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 (14)
|
|
dd20xx Dário Daud |
|
maximiliansei Fryderyk Wisniewski |
|
wheywood William Heywood |
|
jcn Jesse Chan-Norris |
|
morganwalker Morgan Walker |
|
mattfergustmx Matt Fergus |
|
davidcarvalho83 David Carvalho |
|
jlfalcone Jean-Luc Falcone |










