http://tptp.cs.miami.edu/~tptp/OverviewOfATP.html https://www.mcs.anl.gov/research/projects/AR/otter/ http://www.cs.utexas.edu/users/moore/acl2/ https://www.cl.cam.ac.uk/research/hvg/HOL/