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)
|
cinvo Cinvo Chuk |
|
tabughofa Tariq Abughofa |
|
doronliveops Doron Orenstein |
|
danirogers Dani Rogers |
|
palmeryasmine Heather Kennedy |
|
kyuss Sławomir Zabkiewicz |
|
makatokzyu Izvekov Iona |
|
circleci_ops CircleCI Operations |
|
pvorb Paul Vorbach |
|
moneram Maita Monera |
