Skip to main content
Sebastiaan's user avatar
Sebastiaan's user avatar
Sebastiaan's user avatar
Sebastiaan
  • Member for 8 years, 1 month
  • Last seen more than 5 years ago
About

My interests include discrete math, SAT solving, theorem proving, Haskell, databases and business information systems

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