Status: Active user
Joined: 2 years ago by invitation from gerikson
Karma: 570, averaging 2.13 per story/comment
Stories Submitted: 3, most commonly tagged formalmethods
Comments Posted: 265
Homepage: https://kodfodrasz.net
About: