Server Fault Stack Exchange
Server Fault Stack Exchange

Andrew Johnson
791
reputation
  • Helena, Montana
  • Member since December 16 2017
  • 5 profile views
  • Last seen Jan 31 '24 at 00:20

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