Top network posts

• 26 Major unsolved problems in theoretical computer science?
• 14 How do 'tactics' work in proof assistants?
• 13 Powerful Algorithms too complex to implement
• 13 Are there any counterintuitive results in theoretical computer science?
• 12 Small steps for better TCS conferences?
• 12 Where and how did computers help prove a theorem?
• 8 What are possible implementations of Haskell's type classes and what are their (dis)advantages?
• View more network posts →