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)
|
damianflippo Damian Flippo |
|
martinaherman Martina Herman |
|
ginsberg5150 Michael James |
|
vishalhkothari Vishal Kothari |
|
declans Declan |
|
mosessupposes Moses Aaron Samuel |
|
|
ovpn OVPN Integritet AB |
|
aisha Aisha |
|
ejvz Emerson Velásquez |
|
guckuck Kay Patzwald |
|
churroloco Andy Cook |
