danrosen

user stats

Member SinceJune 9, 2014
Last VisitAugust 22, 2014

Contact

developer for

Dafny: An Automatic Program Verifier for Functional Correctness
Microsoft Research Boogie

danrosen

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.