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)
|
tpoole Tom Poole |
|
hood_9x19 Steve |
|
nybjorn Björn Nyberg |
|
janni44 Milla Eloranta |
|
swirldiffuser matha oriana |
|
artpej Sylvain Desgrais |
|
sclevine Stephen Levine |
|
constitution89 Michael Petschek |
|
|
pandeymikhil Mikhil Pandey |
|
|
viztheman Daniel Hammond |
|
rrrrrafik Rafik Djeridi |
