rs86

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