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)
![]() |
jessicazq Jessica Zapata |
![]() |
carlenekado Carlene Kado |
![]() |
morales2k Jorge Morales |
![]() |
jrosa Jorge Rosa |
![]() |
andreidosa Andrei Dosa |
![]() |
kzs0045 Kang Sun |
![]() |
proveg_isaiz Ignacia Saiz |
![]() |
mdresden_launch Matthew Dresden |