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)
|
jerryhildenbrand Jerry Hildenbrand |
|
class3creative Class 3 Creative |
|
dpatsora Danylo Patsora |
|
macko911 Matej Vobornik |
|
|
makodama Masataka Kodama |
|
thomjohnson Thomas Johnson |
|
|
javierbrea_tef Javier Brea |
|
joshua Joshua Griffith |
|
|
zulu zach diubaldo |
|
nikki Nikki Gantos |









