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)
|
natlow Nat Lowrey |
|
learli Lirui Li |
|
chidimmau Chidimma Ugo |
|
robertblok Robert Blok |
|
zsolt224 Zsolt Szabo (He-Him) |
|
remkoemmen Remco van Emmen |
|
kparbadia Kunal Parbadia |
|
mkingshott Mark Kingshott |
|
khaos Miguel Ramos |
|
boomslang Josh Toussaint |
