Talk:Thousands of Problems for Theorem Provers