kivancmuslu

user stats

Member SinceDecember 9, 2009
Last VisitMarch 13, 2011

Contact

developer for

QED - A Proof Assistant for Concurrent Programs

kivancmuslu

personal statement

No personal statement has been written.

activity stream

No activity in the last 60 days.

projects i'm following

forks

No forks.