lthms
lthms avatar
Active user
3 years ago by invitation from vhf
615, averaging 4.84 per story/comment
33, most commonly tagged formalmethods
94

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