rs86

rs86 avatar
Active user
5 years ago by invitation from hao
414, averaging 1.94 per story/comment
12, most commonly tagged formalmethods
201
A mystery...