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)
|
enkat odsuren |
|
slyblue Allie Pickering |
|
|
plagodavp Pavlo Lagoda |
|
|
pinedale05 Leandro Pineda |
|
jdrch jdrch 😷 |
|
emelia Emelia Rosen |
|
waleriowski Walerian Ziółkowski |
|
|
dspurrier Dakota Spurrier |
