See automated theorem proving.
Category:Formal methods tools
Category:Mathematical software
Category:Automated theorem proving