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