Talk:Proof: Difference between revisions
→Proofs
Underscore (talk | contribs) m (moved Talk:Evens Sum To Even to Talk:Proof: I think "Proof" does a much better job of communicating the point of this task, namely, proving a simple theorem.) |
Underscore (talk | contribs) (→Proofs) |
||
Line 15:
: I'm thinking about implementing theorem proving system as an application in the language. This could be done with at least any Turing-equivalent language. Still unsure how that would be for this particular task.[[User:Avmich|Avmich]] 00:03, 12 November 2009 (UTC)
:: I did this in Haskell, but I dunno how easy it would be in other languages, especially dynamically-typed ones. —[[User:Underscore|Underscore]] ([[User talk:Underscore|Talk]]) 18:11, 18 February 2010 (UTC)
== Clarification needed ==
| |||