Skip to main content
ahelwer's user avatar
ahelwer's user avatar
ahelwer's user avatar
ahelwer
  • Member for 6 years, 4 months
  • Last seen more than a month ago
Stats
293
reputation
1k
reached
1
answer
3
questions
Loading…
About

Software engineering consultant specializing in formal methods & distributed systems, especially Z3 and TLA+.

This user doesn’t have any gold badges yet.
2
silver badges
12
bronze badges
8
Score
2
Posts
50
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
0
Score
1
Posts
25
Posts %
Top posts