Functional programmer, C++ enthusiast.
Working on automated theorem proving, formal verification.
You're more than welcome to contact me -> funkey45 at "jooohaaa (the similarily looking word ), dot com.
Note: If you have a question, SO is the place to ask, not my personal email, thank you :).
Member for 6 years, 8 months
8 profile views
Last seen Sep 4 '19 at 8:07