Category:Theorem proving software systems

See automated theorem proving.