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)
![]() |
isilk Isaac Silk |
![]() |
keikok け~たん |
![]() |
mihirm Mihir Malaviya |
![]() |
lelmaniac LEL Maniac |
![]() |
matttheotter Matthew Carter |
![]() |
nsarychev Nikolay Sarychev |
![]() |
solaire Sunbro |
![]() |
killswitch1 Steve |