rs86
rs86 avatar
Active user
2 years ago by invitation from hao
161, averaging 2.60 per story/comment
7, most commonly tagged formalmethods
55
A mystery...