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 |