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)
|
combor Piotr Komborski |
|
pboothe Peter Boothe |
|
petrychyn Kevin Petrychyn |
|
|
lexi_lambda Alexis King |
|
deeznutz1776 tax deez nutz fed boi |
|
larkin Jeremy Larkin |
|
martineha Ha |
|
narzun Winardi |
|
oddperseus Odd Perseus |
|
dosman1965ok Dosman 1965OK |
|
rjmaxx Rebecca |













