Jump to content

Automated proof checking

From Wikipedia, the free encyclopedia

Redirect page

Redirect to:

Proof assistant

This page is a redirect. The following categories are used to track and monitor this redirect:

From a longer title: This is a redirect from a title that is a complete, more complete or longer version of the topic's name. It leads to the title in accordance with the naming conventions for common names and can help writing and searches. However, do not replace these redirected links with a piped link unless the page is updated for another reason.

From a merge: This is a redirect from a page that was merged into another page. This redirect was kept in order to preserve the edit history of this page after its content was merged into the content of the target page. Please do not remove the tag that generates this text (unless the need to recreate content on this page has been demonstrated) or delete this page.
- For redirects with substantive page histories that did not result from page merges use {{R with history}} instead.

When appropriate, protection levels are automatically sensed, described and categorized.

Retrieved from "https://en.wikipedia.org/w/index.php?title=Automated_proof_checking&oldid=977146153"

Hidden categories: