Stack Overflow
Stack Overflow

Andrew Johnson
3,078
reputation
1
18
24
  • Helena, Montana
  • Member since June 19 2013
  • 266 profile views
  • Last seen Aug 31 '23 at 01:03

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