Stack Overflow
Stack Overflow

user3128
21
reputation
2
  • Member since February 26 2013
  • 8 profile views
  • Last seen Feb 14 '23 at 09:15

Professional user of formal methods, model-checking and interactive theorem proving.