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 (14)
![]() |
jraybrown Jeffrey Brown |
![]() |
ilmari28 Amelia Jokihaara |
![]() |
vschiavoni Valerio Schiavoni |
![]() |
mateolargo Matt Long |
![]() |
naveen Naveen Selvadurai |
![]() |
jorgenri07 Jorge Alvarado |
![]() |
cblakkan Cordell Blakkan |
![]() |
dollyspartan Dandelion |
![]() |
patorgan Patrick Organ |