Talk:Automated theorem proving/to do