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)
|
cb372 Chris Birchall |
|
molcura_pharma Ming Na |
|
loucostello42 Lou Costello |
|
jonasrudloff Jonas Rudloff |
|
ilcavero ilcavero |
|
lopiinaz Leni Shelia |
|
georgelgrigore Georgel Grigorescu |
|
4a9502bf 4a9502bf |
|
giggles12345 angel marie |
|
actondave David Aldrich |
|
djedwardsjr D.J. Edwards |
|
danimartin Daniela Martín |
|
soceng Soc Eng |
