lthms
lthms avatar
Active user
4 years ago by invitation from vhf
710, averaging 4.86 per story/comment
35, most commonly tagged formalmethods
111

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