{{cat main|Computer-assisted proof}}
Category:Mathematical proofs
See also :Category:Automated theorem proving.