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)
|
imaranatha imaranatha |
|
tartley Jonathan Hartley |
|
ingalill08 Sven Jakobsson |
|
dplepage Daniel Lepage |
|
gdportable1 Sarah |
|
deedoubleyou Duncan |
|
jonaskress Jonas Kress |
|
koplak007 Aldi Gunawan |
|
iantonymarshall Antony Shannon Marshall |
|
richard_02288 Richard John, House of Tucker |
|
sisov Berger Korniliy |
