Anonymous user
Talk:Proof: Difference between revisions
no edit summary
(→Proof vs. Formal Verification: Replaced shortened link with expanded form. Rather not have "t.co" vanish and break link targets.) |
No edit summary |
||
Line 65:
The task description reads "Define a type for natural numbers (0, 1, 2, 3, ...) representable by a computer, and addition on them". This does not make any sense. I think this should read "Define a datatype for natural numbers and their associated additions that can be represented on a computer.". It still doesn't make any more sense, but hey the words look better. :) [[User:Markhobley|Markhobley]] 15:33, 13 July 2011 (UTC)
== J version ==
This is not a proof, right? [[User:Ht|Ht]] 13:27, 10 May 2012 (UTC)
| |||