asezgin

user stats

Member SinceNovember 2, 2009
Last VisitMarch 8, 2010

User prefers to not be contacted.

developer for

QED - A Proof Assistant for Concurrent Programs

asezgin

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

No projects being followed.

forks

No forks.