Status: Active user
Joined: 2 years ago by invitation from yumaikas
Karma: 6, averaging 3.00 per story/comment
Stories Submitted: 1, most commonly tagged formalmethods
Comments Posted: 1
GitHub: https://github.com/ABorgna
About: