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 (13)
![]() |
alexlifschitz Alex Lifschitz |
![]() |
cryptoscientist CryptoScientist |
![]() |
blockpane Todd G |
![]() |
kathrynjeanne _kj |
![]() |
dist19 Lucyna J |
![]() |
qiu66 秋 |
![]() |
ertw Erik Williamson |
![]() |
navjotts Navjot |
![]() |
miguelmotatd Miguel Mota |
![]() |
ryanjordan Ryan Jordan |
![]() |
domdanao Dominick Danao |
![]() |
brabrabras Brabrabras |