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)
|
gazorpazorpfield Jon |
|
adisuis Adi Peleg |
|
alexius7 Henrique Alexius |
|
gamang gamang alan eka |
|
carloskar Carl-Oskar Westman (COW) |
|
raphaelavafrm Raphaela Vanheukelem |
|
jacc moved |
|
crenfrow Chris Renfrow |
