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)
|
ondrowan Ondrej Slinták |
|
atyner Adam Tyner |
|
fernandodasneves Fernando Das Neves |
|
|
mbruzek Matthew Bruzek |
|
banjobarrett Banjo Barrett |
|
|
nico_ghg Nicolai Schoch |
|
|
br5d Brad |
|
hanfried Janek Schleicher |
|
egipratama Egi |
|
michaellippmann Michael Lippmann |
|
|
dinakaran018 Dina |
