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)
|
cattius Catherine Easdon |
|
timstott Timothy Stott |
|
|
nickgio Nick Giovacchini |
|
gielikabzhom Pozharskiy Rostislav |
|
baavukpes Obreskov Orest |
|
hiobfisen Shishkina Nastasya |
|
aaronvolkmann Aaron Volkmann |
|
maiclein Maiclein |
|
nostracodus Cody |
|
kshep Ken Sheppardson |
|
|
chensun33 🔆🌿✨ |
|
thewoz Adam Wozniak |
