Category:Theorem proving software systems From Wikipedia, the free encyclopedia See automated theorem proving. Related Articles