Talk:Proof: Revision history

11 August 2021

• curprev 18:4418:44, 11 August 2021‎ rosettacode>Gerard Schildberger‎ m 54,507 bytes +3‎ changed the name of the 1st section header.
• curprev 18:1618:16, 11 August 2021‎ rosettacode>Gerard Schildberger‎ 54,504 bytes +33‎ added a section header to the 1^st discussion topic to properly position the TOC.

7 June 2012

• curprev 21:3221:32, 7 June 2012‎ Rdm talk contribs‎ 54,471 bytes −20‎ →‎Scope of Task
• curprev 21:1521:15, 7 June 2012‎ Rdm talk contribs‎ m 54,491 bytes 0‎ →‎Scope of Task
• curprev 21:1421:14, 7 June 2012‎ Rdm talk contribs‎ 54,491 bytes +260‎ →‎Scope of Task
• curprev 20:5620:56, 7 June 2012‎ Rdm talk contribs‎ 54,231 bytes +1,715‎ →‎Scope of Task
• curprev 15:4615:46, 7 June 2012‎ rosettacode>Ht‎ m 52,516 bytes −30‎ No edit summary
• curprev 15:4415:44, 7 June 2012‎ rosettacode>Ht‎ 52,546 bytes +2,061‎ No edit summary

6 June 2012

• curprev 18:5018:50, 6 June 2012‎ Rdm talk contribs‎ 50,485 bytes +1,221‎ →‎Scope of Task
• curprev 17:4417:44, 6 June 2012‎ rosettacode>Ht‎ 49,264 bytes +1,611‎ No edit summary
• curprev 14:0814:08, 6 June 2012‎ Rdm talk contribs‎ 47,653 bytes +2,739‎ →‎Satisfaction

5 June 2012

• curprev 23:0623:06, 5 June 2012‎ rosettacode>Ht‎ 44,914 bytes +1,094‎ No edit summary
• curprev 21:1821:18, 5 June 2012‎ Rdm talk contribs‎ m 43,820 bytes +16‎ →‎Satisfaction
• curprev 21:1721:17, 5 June 2012‎ Rdm talk contribs‎ 43,804 bytes +238‎ →‎Satisfaction
• curprev 20:1520:15, 5 June 2012‎ rosettacode>Ht‎ 43,566 bytes +235‎ No edit summary
• curprev 19:1919:19, 5 June 2012‎ rosettacode>Ht‎ 43,331 bytes +111‎ No edit summary
• curprev 19:0619:06, 5 June 2012‎ rosettacode>Ht‎ 43,220 bytes +308‎ No edit summary
• curprev 15:3815:38, 5 June 2012‎ Rdm talk contribs‎ 42,912 bytes +2,129‎ →‎Satisfaction
• curprev 06:2606:26, 5 June 2012‎ rosettacode>Ht‎ 40,783 bytes +266‎ No edit summary

1 June 2012

• curprev 14:2314:23, 1 June 2012‎ Rdm talk contribs‎ 40,517 bytes +529‎ →‎Satisfaction
• curprev 12:1312:13, 1 June 2012‎ rosettacode>Ht‎ 39,988 bytes +422‎ No edit summary
• curprev 05:2405:24, 1 June 2012‎ Rdm talk contribs‎ 39,566 bytes +543‎ →‎Satisfaction
• curprev 03:2703:27, 1 June 2012‎ rosettacode>Ht‎ m 39,023 bytes +2‎ No edit summary
• curprev 03:2303:23, 1 June 2012‎ rosettacode>Ht‎ 39,021 bytes +1,428‎ No edit summary

31 May 2012

• curprev 13:0413:04, 31 May 2012‎ Rdm talk contribs‎ 37,593 bytes +463‎ →‎Satisfaction
• curprev 02:4802:48, 31 May 2012‎ rosettacode>Ht‎ 37,130 bytes +330‎ No edit summary

30 May 2012

• curprev 20:5920:59, 30 May 2012‎ Rdm talk contribs‎ 36,800 bytes +489‎ →‎Satisfaction

28 May 2012

• curprev 14:1614:16, 28 May 2012‎ Rdm talk contribs‎ 36,311 bytes −342‎ narrow the scope of my objections to this task
• curprev 14:0014:00, 28 May 2012‎ Rdm talk contribs‎ 36,653 bytes −13,951‎ removed "J version" section, since that version is no longer on the page.

15 May 2012

• curprev 09:0309:03, 15 May 2012‎ rosettacode>Dkf‎ 50,604 bytes +968‎ →‎Deletion of statement about finite limits from task: Be nice, and remember to use mathematical induction

14 May 2012

• curprev 14:2214:22, 14 May 2012‎ rosettacode>Ruud Koot‎ m 49,636 bytes −1‎ →‎Deletion of statement about finite limits from task: gr.
• curprev 14:1114:11, 14 May 2012‎ rosettacode>Ht‎ 49,637 bytes +3‎ No edit summary
• curprev 14:0614:06, 14 May 2012‎ rosettacode>Ht‎ 49,634 bytes +483‎ No edit summary
• curprev 13:4613:46, 14 May 2012‎ rosettacode>Ruud Koot‎ m 49,151 bytes +35‎ →‎Deletion of statement about finite limits from task: sign
• curprev 13:4513:45, 14 May 2012‎ rosettacode>Ruud Koot‎ 49,116 bytes +225‎ →‎Deletion of statement about finite limits from task: re
• curprev 13:2213:22, 14 May 2012‎ rosettacode>Ruud Koot‎ 48,891 bytes +250‎ →‎Deletion of statement about finite limits from task: re
• curprev 13:1713:17, 14 May 2012‎ Rdm talk contribs‎ 48,641 bytes +626‎ →‎Deletion of statement about finite limits from task
• curprev 13:1413:14, 14 May 2012‎ rosettacode>Ruud Koot‎ m 48,015 bytes 0‎ move re
• curprev 13:1313:13, 14 May 2012‎ Rdm talk contribs‎ 48,015 bytes +138‎ refactor comments
• curprev 13:1113:11, 14 May 2012‎ rosettacode>Ruud Koot‎ 47,877 bytes +378‎ →‎Quantifiers: re
• curprev 13:0013:00, 14 May 2012‎ rosettacode>Ruud Koot‎ 47,499 bytes +277‎ →‎Quantifiers: re
• curprev 12:5612:56, 14 May 2012‎ rosettacode>Ht‎ 47,222 bytes +700‎ No edit summary
• curprev 12:3112:31, 14 May 2012‎ Rdm talk contribs‎ m 46,522 bytes +33‎ →‎Quantifiers
• curprev 12:1712:17, 14 May 2012‎ Rdm talk contribs‎ 46,489 bytes +570‎ →‎Quantifiers
• curprev 12:1712:17, 14 May 2012‎ rosettacode>Ht‎ 45,919 bytes −8‎ No edit summary
• curprev 12:0712:07, 14 May 2012‎ rosettacode>Ht‎ 45,927 bytes +1,829‎ No edit summary
• curprev 12:0512:05, 14 May 2012‎ rosettacode>Ruud Koot‎ m 44,098 bytes −14‎ →‎Quantifiers: indent
• curprev 12:0512:05, 14 May 2012‎ rosettacode>Ruud Koot‎ m 44,112 bytes −8‎ →‎Quantifiers: move re
• curprev 12:0412:04, 14 May 2012‎ rosettacode>Ruud Koot‎ 44,120 bytes +1,711‎ →‎Quantifiers: re
• curprev 12:0012:00, 14 May 2012‎ Rdm talk contribs‎ 42,409 bytes +511‎ clean up phrasing and tighten description
• curprev 11:5311:53, 14 May 2012‎ Rdm talk contribs‎ 41,898 bytes +204‎ →‎Quantifiers
• curprev 11:5111:51, 14 May 2012‎ Rdm talk contribs‎ m 41,694 bytes +57‎ Simplify
• curprev 10:0910:09, 14 May 2012‎ Rdm talk contribs‎ 41,637 bytes +1,205‎ →‎Quantifiers
• curprev 09:5809:58, 14 May 2012‎ Rdm talk contribs‎ 40,432 bytes +376‎ yes: notation used in proof must be understood by the reader
• curprev 08:4408:44, 14 May 2012‎ rosettacode>Dkf‎ m 40,056 bytes −26‎ →‎Proof vs. Formal Verification: better link formatting
• curprev 08:4108:41, 14 May 2012‎ rosettacode>Dkf‎ m 40,082 bytes +42‎ →‎Quantifiers: add zero-width spaces to enable better line breaking
• curprev 08:3608:36, 14 May 2012‎ rosettacode>Dkf‎ 40,040 bytes +744‎ →‎J version: Add some notes on the Tcl code (and the fact that implementing a whole theorem prover for this task is unreasonable!); also tidy formatting
• curprev 07:5507:55, 14 May 2012‎ rosettacode>Ht‎ 39,296 bytes +190‎ No edit summary
• curprev 07:4807:48, 14 May 2012‎ rosettacode>Ht‎ 39,106 bytes +48‎ No edit summary
• curprev 07:3307:33, 14 May 2012‎ rosettacode>Ht‎ 39,058 bytes +195‎ No edit summary
• curprev 07:2307:23, 14 May 2012‎ rosettacode>Ht‎ 38,863 bytes +1,960‎ No edit summary
• curprev 01:5301:53, 14 May 2012‎ Rdm talk contribs‎ 36,903 bytes +312‎ →‎Quantifiers
• curprev 01:4401:44, 14 May 2012‎ Rdm talk contribs‎ 36,591 bytes +970‎ →‎Quantifiers
• curprev 00:2100:21, 14 May 2012‎ Rdm talk contribs‎ 35,621 bytes +495‎ changed a phrasing, and a reaction to a non-argument

13 May 2012

• curprev 23:0023:00, 13 May 2012‎ rosettacode>Ht‎ 35,126 bytes +1,933‎ No edit summary
• curprev 22:4122:41, 13 May 2012‎ rosettacode>Ruud Koot‎ 33,193 bytes +148‎ →‎Quantifiers: re
• curprev 22:2722:27, 13 May 2012‎ Rdm talk contribs‎ 33,045 bytes +249‎ →‎Quantifiers
• curprev 22:1222:12, 13 May 2012‎ rosettacode>Ruud Koot‎ 32,796 bytes +746‎ →‎Quantifiers: re
• curprev 21:4221:42, 13 May 2012‎ Rdm talk contribs‎ 32,050 bytes +627‎ →‎Quantifiers
• curprev 21:3321:33, 13 May 2012‎ rosettacode>Ruud Koot‎ 31,423 bytes +811‎ →‎Quantifiers: re
• curprev 21:0521:05, 13 May 2012‎ Rdm talk contribs‎ 30,612 bytes +979‎ →‎Quantifiers
• curprev 20:4120:41, 13 May 2012‎ rosettacode>Ruud Koot‎ 29,633 bytes +371‎ →‎Quantifiers: re
• curprev 20:1920:19, 13 May 2012‎ Rdm talk contribs‎ 29,262 bytes +209‎ →‎Quantifiers
• curprev 19:4419:44, 13 May 2012‎ Rdm talk contribs‎ 29,053 bytes +621‎ →‎Quantifiers: new section
• curprev 19:2819:28, 13 May 2012‎ Rdm talk contribs‎ m 28,432 bytes +3‎ better fix
• curprev 19:2619:26, 13 May 2012‎ Rdm talk contribs‎ m 28,429 bytes +22‎ fix text container issue
• curprev 19:2419:24, 13 May 2012‎ Rdm talk contribs‎ 28,407 bytes +561‎ →‎J version

12 May 2012

• curprev 19:0019:00, 12 May 2012‎ rosettacode>Ruud Koot‎ m 27,846 bytes +5‎ →‎Haskell: run -> compile
• curprev 18:4918:49, 12 May 2012‎ rosettacode>Ruud Koot‎ 27,841 bytes +670‎ →‎Draft status: re
• curprev 18:3918:39, 12 May 2012‎ Sonia talk contribs‎ 27,171 bytes +53‎ →‎Draft status
• curprev 18:3818:38, 12 May 2012‎ Sonia talk contribs‎ 27,118 bytes +426‎ →‎Draft status: disagree
• curprev 18:3718:37, 12 May 2012‎ rosettacode>Ruud Koot‎ m 26,692 bytes 0‎ →‎Haskell: sp
• curprev 18:3518:35, 12 May 2012‎ rosettacode>Ruud Koot‎ 26,692 bytes +967‎ →‎Haskell: re
• curprev 18:1818:18, 12 May 2012‎ Sonia talk contribs‎ 25,725 bytes +53‎ →‎Haskell: signed (sorry, forgot again!)
• curprev 18:1718:17, 12 May 2012‎ Sonia talk contribs‎ 25,672 bytes +529‎ →‎Haskell: compile == proof?
• curprev 18:0918:09, 12 May 2012‎ rosettacode>Ruud Koot‎ 25,143 bytes +240‎ →‎Draft status: re
• curprev 17:1717:17, 12 May 2012‎ Sonia talk contribs‎ 24,903 bytes +53‎ →‎Draft status: signed
• curprev 17:1617:16, 12 May 2012‎ Sonia talk contribs‎ 24,850 bytes +151‎ →‎Draft status: task rewritten
• curprev 07:2207:22, 12 May 2012‎ rosettacode>Paddy3118‎ 24,699 bytes +345‎ →‎Draft status: Task update/clarification needed?
• 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...