Anonymous user
Talk:Proof: Difference between revisions
m
→Proofs: formatting
No edit summary |
m (→Proofs: formatting) |
||
Line 12:
== Proofs ==
Does this task apply to languages which are not built as theorem-proving systems? If so, what constitutes an acceptable implementation of "prove that the addition of any two even numbers is even"? --[[User:Kevin Reid|Kevin Reid]] 00:07, 17 February 2009 (UTC)
|