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)
|
jnduli John Nduli |
|
jacobgo Jacob Goldenberg |
|
ludoch Ludovic Champenois |
|
kalleaaltonen Kalle Aaltonen |
|
stokito Sergey Ponomarev |
|
gjergjsheldija Gjergj Sheldija |
|
dx dx |
