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)
|
mwiles Mike Wiles |
|
epilatow Edward Pilatowicz |
|
kristofleroux Kristof J. Leroux |
|
dilemarocks Leif Carpenter |
|
nvanderhoeven Nicole van der Hoeven |
|
fissie Jan Šembera |
|
sgpennebaker Steven Pennebaker |
|
eloisheuser0e Elois Heuser |
|
edvardsenpiot Phoebe Morgan |
|
jimzy Jimzy Lui |
|
yusho Yusho Liu |
