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)
|
jeffols Jeff Olsen |
|
digitalphil Phil |
|
playzinrain Diane |
|
ninjelli Angela H. |
|
sarjames Giacomo Alessandro Sardo |
|
maxmahlke Max Mahlke |
|
japanwin JapanWin |
|
rednaxela Karen |
|
htio Tim |
|
lieuwer Lieuwe Rooijakkers |
