ScarletAmaranth
  • Member for 8 years, 7 months
  • Last seen more than 1 year ago
About

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 :).

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
5
bronze badges
Top tags
0
Score
2
Posts
100
Posts %
0
Score
2
Posts
100
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %
0
Score
1
Posts
50
Posts %