lexicalscope

user stats

Member SinceOctober 30, 2012
Last VisitOctober 3, 2016

Contact

lexicalscope

personal statement

My name is Tim Wood. I have some more notes about Dafny on my blog

activity stream

No activity in the last 60 days.