rs86
rs86 avatar
Active user
3 years ago by invitation from hao
187, averaging 2.56 per story/comment
7, most commonly tagged formalmethods
66
A mystery...