143
reputation
5

ScarletAmaranth

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

0
answers
2
questions
~716
people reached
  • Member for 8 years
  • 8 profile views
  • Last seen Oct 5 '20 at 16:26

Top tags (6)

Score 0
Posts 2
Posts % 100
Score 0
Posts 2
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1
Score 0
Posts 1

Top posts (2)

Badges (5)

Gold

Silver

Bronze

5

Rarest