Talk:Proof: Revision history

12 May 2012

• curprev 02:5202:52, 12 May 2012‎ rosettacode>Ht‎ 24,354 bytes +48‎ No edit summary
• curprev 02:5102:51, 12 May 2012‎ rosettacode>Ht‎ 24,306 bytes +137‎ No edit summary
• curprev 02:4402:44, 12 May 2012‎ rosettacode>Ht‎ 24,169 bytes +1,307‎ No edit summary

11 May 2012

• curprev 22:0722:07, 11 May 2012‎ rosettacode>Ledrug‎ 22,862 bytes +2,329‎ →‎J version: rants
• curprev 20:3320:33, 11 May 2012‎ Sonia talk contribs‎ 20,533 bytes +237‎ →‎Draft status: new section

10 May 2012

• curprev 20:5320:53, 10 May 2012‎ Rdm talk contribs‎ m 20,296 bytes +5‎ →‎J version
• curprev 20:4520:45, 10 May 2012‎ Rdm talk contribs‎ m 20,291 bytes +25‎ →‎J version
• curprev 20:4420:44, 10 May 2012‎ Rdm talk contribs‎ 20,266 bytes +82‎ →‎J version
• curprev 20:3820:38, 10 May 2012‎ rosettacode>Ruud Koot‎ 20,184 bytes +369‎ →‎J version: re
• curprev 19:5819:58, 10 May 2012‎ Rdm talk contribs‎ 19,815 bytes +272‎ →‎J version
• curprev 17:4817:48, 10 May 2012‎ rosettacode>Ruud Koot‎ 19,543 bytes +260‎ →‎J version: re
• curprev 17:4217:42, 10 May 2012‎ Rdm talk contribs‎ 19,283 bytes +363‎ →‎J version
• curprev 17:3017:30, 10 May 2012‎ rosettacode>Ruud Koot‎ 18,920 bytes +726‎ →‎J version: re
• curprev 17:0317:03, 10 May 2012‎ Rdm talk contribs‎ 18,194 bytes +200‎ →‎J version
• curprev 16:4416:44, 10 May 2012‎ rosettacode>Ruud Koot‎ 17,994 bytes +1,641‎ →‎J version: re
• curprev 15:4915:49, 10 May 2012‎ Rdm talk contribs‎ m 16,353 bytes +15‎ →‎J version
• curprev 15:4515:45, 10 May 2012‎ Rdm talk contribs‎ 16,338 bytes +1,591‎ →‎J version
• curprev 15:2015:20, 10 May 2012‎ rosettacode>Ruud Koot‎ 14,747 bytes +817‎ →‎J version: re
• curprev 14:5814:58, 10 May 2012‎ Rdm talk contribs‎ 13,930 bytes +440‎ →‎J version
• curprev 14:4814:48, 10 May 2012‎ rosettacode>Ruud Koot‎ 13,490 bytes +1,349‎ →‎J version: re
• curprev 14:1714:17, 10 May 2012‎ Rdm talk contribs‎ 12,141 bytes +539‎ →‎J version
• curprev 13:5313:53, 10 May 2012‎ rosettacode>Ruud Koot‎ 11,602 bytes +532‎ →‎J version: re
• curprev 13:3613:36, 10 May 2012‎ Rdm talk contribs‎ 11,070 bytes +403‎ →‎J version
• curprev 13:2713:27, 10 May 2012‎ rosettacode>Ht‎ 10,667 bytes +86‎ No edit summary

27 August 2011

• curprev 17:1417:14, 27 August 2011‎ MikeMol talk contribs‎ 10,581 bytes +149‎ →‎Proof vs. Formal Verification: Replaced shortened link with expanded form. Rather not have "t.co" vanish and break link targets.
• curprev 03:0903:09, 27 August 2011‎ Rdm talk contribs‎ m 10,432 bytes +1‎ →‎Proof vs. Formal Verification
• curprev 03:0903:09, 27 August 2011‎ Rdm talk contribs‎ m 10,431 bytes +65‎ →‎Proof vs. Formal Verification
• curprev 03:0803:08, 27 August 2011‎ Rdm talk contribs‎ 10,366 bytes +377‎ Proof

13 July 2011

• curprev 15:3315:33, 13 July 2011‎ rosettacode>Markhobley‎ m 9,989 bytes +428‎ I think this should read

22 June 2011

• curprev 02:0902:09, 22 June 2011‎ rosettacode>Ledrug‎ 9,561 bytes +1,647‎ →‎The Go proof?: long rantish discussion
• curprev 01:0901:09, 22 June 2011‎ Sonia talk contribs‎ 7,914 bytes +453‎ →‎The Go proof?: compilers are programs too

21 June 2011

• curprev 23:4323:43, 21 June 2011‎ rosettacode>Ledrug‎ 7,461 bytes +848‎ →‎The Go proof?: more explanation
• curprev 23:2923:29, 21 June 2011‎ Sonia talk contribs‎ 6,613 bytes +1,335‎ →‎The Go proof?: yes and no
• curprev 20:4620:46, 21 June 2011‎ rosettacode>Ledrug‎ 5,278 bytes +773‎ →‎The Go proof?: new section

18 February 2010

• curprev 18:1118:11, 18 February 2010‎ Underscore talk contribs‎ 4,505 bytes +210‎ →‎Proofs

20 November 2009

• curprev 16:5116:51, 20 November 2009‎ Underscore talk contribs‎ m 4,295 bytes 0‎ 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.

12 November 2009

• curprev 00:0300:03, 12 November 2009‎ rosettacode>Avmich‎ 4,295 bytes +267‎ write your own theorem-proving system on top of the language

6 November 2009

• curprev 20:3420:34, 6 November 2009‎ Underscore talk contribs‎ 4,028 bytes +275‎ →‎Clarification needed
• curprev 19:1919:19, 6 November 2009‎ MikeMol talk contribs‎ 3,753 bytes +308‎ →‎Clarification needed: type theory and calculus orthogonal.
• curprev 16:3816:38, 6 November 2009‎ rosettacode>Dkf‎ 3,445 bytes +168‎ →‎Clarification needed: rubbing it in
• curprev 15:0515:05, 6 November 2009‎ Eriksiers talk contribs‎ 3,277 bytes +287‎ →‎Clarification needed: ok
• curprev 00:4200:42, 6 November 2009‎ Underscore talk contribs‎ 2,990 bytes +302‎ →‎Clarification needed

5 November 2009

• curprev 22:2422:24, 5 November 2009‎ Eriksiers talk contribs‎ 2,688 bytes +466‎ →‎Clarification needed: new section

17 February 2009

• curprev 00:0700:07, 17 February 2009‎ rosettacode>Kevin Reid‎ m 2,222 bytes −2‎ →‎Proofs: formatting
• curprev 00:0700:07, 17 February 2009‎ rosettacode>Kevin Reid‎ 2,224 bytes +277‎ No edit summary

12 March 2008

• curprev 01:4001:40, 12 March 2008‎ MikeMol talk contribs‎ 1,947 bytes +631‎ proofs and Type dependency

11 March 2008

• curprev 23:4523:45, 11 March 2008‎ rosettacode>Sgeier‎ 1,316 bytes +685‎ New section: Huh?

22 December 2007

• curprev 03:5003:50, 22 December 2007‎ MikeMol talk contribs‎ 631 bytes +212‎ Task purpose

21 December 2007

• curprev 21:4521:45, 21 December 2007‎ rosettacode>Mwn3d‎ 419 bytes +170‎ No edit summary
• curprev 21:4221:42, 21 December 2007‎ rosettacode>Waldorf‎ 249 bytes +249‎ New page: The subtype Natural is pre-defined for all Ada implementations. Arithmetic upon that subtype is also pre-defined. This does not appear to be a very interesting problem in Ada. Any suggesti...