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)
|
tykojansson Aina Arvidsson |
|
tylercrompton Tyler Crompton |
|
toluowoeye tolu owoeye |
|
nebojsalalic Nebojsa Lalic |
|
sheinrich Simon Heinrich |
|
kcargile Kristopher Cargile |
|
sachiko222 Sachiko Ichikawa |
|
ilililil hi |
|
alyssakmac Alyssa Keimach |
