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)
|
christianls Christian L.S. |
|
babywithagun angel |
|
reitermarkus Markus Reiter |
|
jptimpanaro Juan Pablo Timpanaro |
|
mittendorffdd Bram Mittendorff |
|
marksamman Mark Samman |
|
galatnakpebasd Borozdna Mamant |
|
frightenings frightening lol |
|
jc420 JC Alvarado |
|
hershreddy Hersh Reddy |
|
minn_minn Florian Spieß |
|
beegurnowski Elyse Gurnowski |
