lthms

lthms avatar
Active user
5 years ago by invitation from vhf
843, averaging 5.40 per story/comment
39, most commonly tagged formalmethods
117

I code. I write. I read. I toot on mastodon.