ignatius
ignatius avatar
Active user
1 year ago by invitation from emersion
9, averaging 4.50 per story/comment
2, most commonly tagged formalmethods
0
A mystery...