lthms

lthms avatar
Active user
6 years ago by invitation from vhf
977, averaging 5.22 per story/comment
42, most commonly tagged formalmethods
145

I don’t like syntax highlighting.