gyori

user stats

Member SinceMay 28, 2015
Last VisitSeptember 12, 2016

Contact

developer for

SymDiff: A Platform for Differential Program Verification

gyori

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

forks

No forks.