lthms

lthms avatar
Active user
6 years ago by invitation from vhf
867, averaging 5.13 per story/comment
39, most commonly tagged formalmethods
130

I don’t like syntax highlighting.