Talk:Automated proof checking
 | The content of the Automated proof checking page was merged into Proof assistant#Automated proof checking on 23 February 2026. For the contribution history and old versions of the merged article, please see its history. |
| This is the talk page for discussing improvements to the Automated proof checking redirect. This is not a forum for general discussion of the subject of the article. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This redirect does not require a rating on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||||||
| |||||||||||||||
Untitled
If the 1000 lines fact should be included, I think it should have a supporting quotation. Furthermore, I think there should be a reference to deBruijns program of constructing a formally verified proof checker. Kgrue (talk) 14:57, 9 January 2010 (UTC)
Merge
Is there any reason that this is a separate article from Proof assistant? I'm happy to merge them. siddharthist (talk) 22:11, 22 November 2017 (UTC)
India Education Program course assignment
This article was the subject of an educational assignment at College Of Engineering Pune supported by Wikipedia Ambassadors through the India Education Program during the 2011 Q3 term. Further details are available on the course page.
The above message was substituted from {{IEP assignment}} by PrimeBOT (talk) on 20:12, 1 February 2023 (UTC)
Content Disclaimer
Informasi ini disarikan dari Wikipedia dan disajikan kembali untuk tujuan edukasi. Konten tersedia di bawah lisensi CC BY-SA 3.0. Kami tidak bertanggung jawab atas ketidakakuratan data yang bersumber dari kontribusi publik tersebut.
- The information displayed on this website is sourced in part or in whole from Wikipedia and has been adapted for the purpose of restating it. We strive to provide accurate and relevant information, however:
- There is no guarantee of absolute accuracy. Wikipedia is an open, collaborative project that can be edited by anyone, so information is subject to change.
- It is not intended to constitute professional advice. The content displayed is for informational and educational purposes only. For important decisions (e.g., medical, legal, or financial), please consult a professional.
- Content copyright. Wikipedia is licensed under the Creative Commons Attribution-ShareAlike License (CC BY-SA). This means that content may be reused with appropriate attribution and shared under a similar license.
- Responsible use. Any risk arising from the use of information from this website is entirely the responsibility of the user.