Talk:Automated proof checking
Latest comment: 1 year ago by PrimeBOT in topic India Education Program course assignment
| This is the talk page for discussing improvements to the Automated proof checking redirect. This is not a forum for general discussion of the article's subject. |
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 edit
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 edit
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 edit
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)