rs86
rs86 avatar
Active user
4 years ago by invitation from hao
237, averaging 2.60 per story/comment
10, most commonly tagged formalmethods
81
A mystery...