List of automated theorem provers