User Andrew Johnson - Server Fault Stack Exchange

Andrew Johnson

791

reputation

1

5

6

Helena, Montana
Member since December 16 2017
5 profile views
Last seen Jul 06 '23 at 18:17

I'm Andrew Johnson. I am currently working on a proof assistant called LSTS.