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)
|
ntindall Nathan James Tindall |
|
zweifeln Gero Nagel |
|
simashyupuz Durnovo Evdokiya |
|
bobertyy Christopher Dickson |
|
anna_qbik Anna Kubik |
|
tanjabohm Bruno Pawlak |
|
acd Andrew Danforth |
|
laokkozenec Zhemchuzhnikova Ipatiya |
|
danielbishtawi Daniel Bishtawi |
|
wirehead Ken Wronkiewicz |
