rs86

rs86 avatar
Active user
4 years ago by invitation from hao
252, averaging 2.38 per story/comment
12, most commonly tagged formalmethods
94
A mystery...