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)
|
fabbus Fabbus |
|
ncancelliere Nicholas Cancelliere |
|
crackpotmark Mark C |
|
eabasolo Eric Abasolo |
|
abenrejeb Ali |
|
miken_at_gns Mike Nichols |
|
aidenairish07 ROSE ANN LONOZA |
|
chriscain Chris Cain |
|
cnightingale Chris Nightingale |
|
pain Pain |
|
yangl1996 Lei Yang |
