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)
|
aadebisi Aadebisi Johnson |
|
timjore Tim Jore |
|
mrjimmy410 Jimmy Armitage |
|
nukeme Nukeme |
|
owenj Owen Jacob |
|
robink1971 robin kooy |
|
charlemagne Charles Perniciaro III |
|
stevy05 Steve Hochedé |
|
ness Taylor Ness |
|
axleyjc Jason Axley |
|
cssupport Containership Support |
|
joshuadev Joshua Steinmetz |
|
sascha242 Sascha Möllering |
