rs86
rs86 avatar
Active user
4 years ago by invitation from hao
217, averaging 2.68 per story/comment
8, most commonly tagged formalmethods
73
A mystery...