Category:Computer-assisted proofs

See also Category:Automated theorem proving.