praalhans

praalhans avatar
Active user
6 years ago by invitation from varjag
309, averaging 2.64 per story/comment
24, most commonly tagged formalmethods
93
A mystery...