lthms

lthms avatar
Active user
5 years ago by invitation from vhf
865, averaging 5.21 per story/comment
39, most commonly tagged formalmethods
127

I don’t like syntax highlighting.