lthms
lthms avatar
Active user
3 years ago by invitation from vhf
452, averaging 4.15 per story/comment
27, most commonly tagged formalmethods
82

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