lthms
lthms avatar
Active user
3 years ago by invitation from vhf
483, averaging 4.06 per story/comment
29, most commonly tagged formalmethods
90

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