TomMD

Status

Banned by a moderator

Joined

6 years ago by invitation from dmz

Banned

5 years ago by pushcx: Removing spammer.

Deactivated

5 years ago

Karma

47

Stories Submitted

3, most commonly tagged formalmethods

Comments Posted

10

Homepage

https://tommd.github.io

GitHub

https://github.com/TomMD