user stats

Member SinceOctober 25, 2011
Last VisitApril 11, 2012

kornevgen

personal statement

No personal statement has been written.

activity stream

April 11, 2012 - Microsoft Research Boogie: Posted to discussion: Dafny: termination with datatypes problem

projects i'm following

No projects being followed.

forks

No forks.