Stack Exchange network consists of 183 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.
My interests include discrete math, SAT solving, theorem proving, Haskell, databases and business information systems
This user hasn’t posted yet.
