Category:Computer-assisted proofs
See also Category:Automated theorem proving.
Pages in category "Computer-assisted proofs"
The following 18 pages are in this category, out of 18 total. This list may not reflect recent changes.
This is the current revision of this page, as edited by Tea2min (talk | contribs) at 13:25, 27 May 2016 (The main article for this category is Computer-assisted proof.). The present address (URL) is a permanent link to this version.
See also Category:Automated theorem proving.
The following 18 pages are in this category, out of 18 total. This list may not reflect recent changes.