lthms
lthms avatar
Active user
2 years ago by invitation from vhf
384, averaging 4.31 per story/comment
22, most commonly tagged formalmethods
67

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