Active
Recent
Comments
Search
Login
Login
jtm
Status:
Active user
Joined:
4 years ago
by
invitation
from
vaibhavsagar
Karma:
647, averaging 8.09 per story/comment
Stories Submitted:
3
, most commonly tagged
formalmethods
Comments Posted:
77
About:
Beep beep boop boop