prepend
prepend avatar
Active user
10 months ago by invitation from gerikson
411, averaging 2.96 per story/comment
3, most commonly tagged formalmethods
136

Probably the same person logging in as https://news.ycombinator.com/user?id=prepend