Category:Computer-assisted proofs

The main article for this category is Computer-assisted proof.

See also Category:Automated theorem proving.

Uses material from the Wikipedia article Category:Computer-assisted proofs, released under the CC BY-SA 4.0 license.