Category:Computer-assisted proofs The main article for this category is Computer-assisted proof. See also Category:Automated theorem proving.
