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)
|
greenfurrr mememeNOT |
|
allthatiam Kim Croxford |
|
naponkek Palibin Markian |
|
courajs Aaron Sikes |
|
lilliegc123 LillieC |
|
abartholdy Anders Bartholdy |
|
lorenz_h Lorenz |
|
elfadili Yassine ELFADILI |
|
glottis Sindri Kristinsson |
|
christina_chimie Christina Chimienti |
|
sonaverdyan Sona Verdyan |
|
zworrell Zofia Worrell |
