Proof: Revision history

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

curprev 17:4717:47, 12 March 2024‎ Jjuanhdez talk contribs‎ 71,945 bytes +1,604‎ Added FreeBASIC

curprev 10:3910:39, 29 January 2024‎ PureFox talk contribs‎ m 70,341 bytes −5‎ →‎{{header|Wren}}: Minor tidy

curprev 21:5921:59, 11 May 2023‎ JulianM talk contribs‎ 70,346 bytes +31‎ →‎{{header|Agda}}: Updated Agda example
curprev 10:3310:33, 11 May 2023‎ JulianM talk contribs‎ 70,315 bytes −7‎ →‎{{header|Agda}}: Updated Agda example

curprev 17:4617:46, 10 May 2023‎ JulianM talk contribs‎ 70,322 bytes +90‎ →‎{{header|Agda}}: Fixed Agda example

curprev 11:2711:27, 28 August 2022‎ Thundergnat talk contribs‎ m 70,232 bytes +671‎ syntax highlighting fixup automation

curprev 15:3915:39, 26 March 2022‎ Petelomax talk contribs‎ m 61,012 bytes +7,417‎ →‎{{header|Phix}}: syntax coloured

curprev 17:4617:46, 11 August 2021‎ rosettacode>Lscrd‎ 53,595 bytes +4,032‎ →‎{{header|Nim}}

curprev 21:0021:00, 5 February 2021‎ rosettacode>G2yAXbZCY3RqdF4XZdQF‎ m 49,563 bytes −71‎ →‎{{header|Coq}}: simplify proof

curprev 02:1202:12, 31 December 2020‎ rosettacode>Wurzacqu‎ 49,634 bytes +2,779‎ →‎{{header|Coq}}: complete solution

curprev 18:5618:56, 10 October 2020‎ PureFox talk contribs‎ 46,855 bytes +6,194‎ Added Wren

curprev 20:4920:49, 18 August 2020‎ rosettacode>Diekmann‎ 40,661 bytes +3,246‎ No edit summary

curprev 16:1416:14, 7 August 2020‎ Hkdtam talk contribs‎ 37,415 bytes +1,663‎ added Raku programming solution (Incomplete)

curprev 03:2403:24, 13 June 2020‎ Petelomax talk contribs‎ m 35,752 bytes +1‎ →‎{{header|Phix}}: replaced a "test" with "axiom"
curprev 02:2002:20, 13 June 2020‎ rosettacode>Sorawee‎ 35,751 bytes −377‎ →‎{{header|Racket}}: cur fixes are merged

curprev 17:4417:44, 14 March 2020‎ Thundergnat talk contribs‎ 36,128 bytes −1‎ alphabetize, minor clean-up

curprev 00:2300:23, 10 January 2020‎ PureFox talk contribs‎ m 36,129 bytes +1‎ →‎{{header|Go}}: Corrected typo in comment.

curprev 23:1323:13, 9 January 2020‎ PureFox talk contribs‎ 36,128 bytes +6,072‎ Added Go

curprev 23:3923:39, 19 December 2019‎ rosettacode>Jeremydouglass‎ 30,056 bytes +26‎ Merge omitted languages at bottom and add Processing

curprev 19:3019:30, 28 August 2019‎ rosettacode>Sorawee‎ 30,030 bytes +2,403‎ +Racket

curprev 01:4501:45, 12 February 2019‎ Petelomax talk contribs‎ 27,627 bytes +1,711‎ →‎{{header|Phix}}

curprev 17:2317:23, 11 February 2019‎ rosettacode>Isti115‎ m 25,916 bytes −1‎ →‎{{header|Idris}}

curprev 11:1511:15, 6 December 2018‎ Petelomax talk contribs‎ m 25,917 bytes −19‎ removed omit from phix

curprev 21:5821:58, 7 November 2015‎ Petelomax talk contribs‎ m 25,936 bytes +19‎ No edit summary

curprev 01:0401:04, 23 May 2015‎ Chicco talk contribs‎ 25,917 bytes +634‎ Commutativity of addition in OCaml
curprev 00:4600:46, 23 May 2015‎ Chicco talk contribs‎ 25,283 bytes +1,283‎ OCaml version (now possible with GADT's)

curprev 04:3004:30, 18 April 2015‎ rosettacode>AlephAlpha‎ 24,000 bytes −931‎ →‎{{header|Mathematica}}: Delete the wrong answer

curprev 09:5709:57, 22 June 2014‎ rosettacode>Gneck‎ 24,931 bytes +2,799‎ Added Idris

curprev 09:0809:08, 31 October 2013‎ rosettacode>AlephAlpha‎ 22,132 bytes +931‎ Mathematica

curprev 21:1321:13, 5 June 2012‎ Rdm talk contribs‎ 21,127 bytes +402‎ J: bug fix
curprev 19:5819:58, 5 June 2012‎ Rdm talk contribs‎ 20,725 bytes +3‎ J: bug fix

curprev 11:1311:13, 30 May 2012‎ rosettacode>Ht‎ m 15,605 bytes 0‎ No edit summary
curprev 11:1211:12, 30 May 2012‎ rosettacode>Ht‎ m 15,605 bytes +83‎ No edit summary
curprev 11:0611:06, 30 May 2012‎ rosettacode>Ht‎ 15,522 bytes +2,741‎ update the task and agda example

curprev 13:1213:12, 14 May 2012‎ rosettacode>Ruud Koot‎ 11,761 bytes −326‎ Undo revision 136707 by Rdm (talk): wrong! (see talk)
curprev 13:0813:08, 14 May 2012‎ Rdm talk contribs‎ 12,087 bytes +326‎ redo change which (a) is an accurate description of any implementation, and (b) was removed without any descriptive rationale -- please do not revert without justification
curprev 12:5412:54, 14 May 2012‎ rosettacode>Ruud Koot‎ 11,761 bytes −326‎ Undo revision 136702 by Rdm (talk): wrong...
curprev 12:2012:20, 14 May 2012‎ Rdm talk contribs‎ 12,087 bytes +326‎ Explicitly describe limitation of proof

curprev 13:4513:45, 10 May 2012‎ Rdm talk contribs‎ m 7,845 bytes −23‎ refer to a different instance of De Millo's pdf
curprev 13:3913:39, 10 May 2012‎ Rdm talk contribs‎ 7,868 bytes +63‎ expand url
curprev 13:1913:19, 10 May 2012‎ rosettacode>Ht‎ 7,805 bytes +317‎ No edit summary

curprev 07:4207:42, 7 April 2012‎ rosettacode>Calebegg‎ 7,488 bytes +111‎ No edit summary

curprev 00:0900:09, 13 December 2011‎ Sonia talk contribs‎ 7,377 bytes −4,516‎ clean up incorrect tag

curprev 08:4808:48, 5 November 2011‎ rosettacode>ChrisWilson‎ m 11,893 bytes −12‎ I fixed a typo in the Salmon code and removed an unused label.
curprev 08:4508:45, 5 November 2011‎ rosettacode>ChrisWilson‎ 11,905 bytes +1,203‎ I added Salmon code.

curprev 03:0303:03, 27 August 2011‎ Rdm talk contribs‎ 10,702 bytes +448‎ J

curprev 06:1606:16, 26 August 2011‎ rosettacode>NevilleDNZ‎ m 10,254 bytes +6‎ Added a new task category: Logic

curprev 13:2713:27, 22 August 2011‎ rosettacode>Ruud Koot‎ 10,248 bytes +311‎ note

curprev 20:4320:43, 9 August 2011‎ rosettacode>Kevin Reid‎ 9,937 bytes +25‎ omit JavaScript

curprev 15:2815:28, 13 July 2011‎ rosettacode>Markhobley‎ 9,912 bytes +20‎ {{omit from|PureBasic}}

curprev 22:4822:48, 21 June 2011‎ rosettacode>Ledrug‎ 9,892 bytes +61‎ →‎{{header|Go}}: I'm pretty sure it's wrong now

curprev 13:3013:30, 20 February 2011‎ Sonia talk contribs‎ 9,831 bytes +4,472‎ Go solution

curprev 19:0919:09, 3 December 2010‎ MikeMol talk contribs‎ 5,359 bytes −7,147‎ Use lang tags for all of these.

curprev 22:0722:07, 19 July 2010‎ rosettacode>Demivec‎ 12,506 bytes +24‎ →‎{{header|Twelf}}: PureBasic Omitted

curprev 04:3404:34, 26 May 2010‎ rosettacode>Stormneedle‎ 12,482 bytes +41‎ No edit summary

curprev 18:0518:05, 18 February 2010‎ Underscore talk contribs‎ 12,441 bytes +48‎ Added link to Proof/Haskell.

curprev 21:0521:05, 21 November 2009‎ rosettacode>Kevin Reid‎ 12,393 bytes +2,225‎ Undo revision 68255 by 83.104.248.190 (Talk) — reverting same edit for same reason, see changes on Nov 5
curprev 20:5820:58, 21 November 2009‎ 83.104.248.190 talk‎ 10,168 bytes −13‎ No edit summary
curprev 20:5020:50, 21 November 2009‎ 83.104.248.190 talk‎ 10,181 bytes −2,225‎ →‎{{header|Tcl}}

curprev 16:5116:51, 20 November 2009‎ Underscore talk contribs‎ m 12,406 bytes 0‎ moved Evens Sum To Even to Proof: I think "Proof" does a much better job of communicating the point of this task, namely, proving a simple theorem.
curprev 16:4916:49, 20 November 2009‎ Underscore talk contribs‎ 12,406 bytes +130‎ Undid UnderBot's edit.
curprev 01:5801:58, 20 November 2009‎ rosettacode>UnderBot‎ m 12,276 bytes −130‎ Fixed lang tags.

curprev 21:0821:08, 5 November 2009‎ rosettacode>Kevin Reid‎ 12,406 bytes +2,225‎ Undo Tcl deletion by 83.104.248.190 — no justification given, did not save it elsewhere or discuss deletion.
curprev 20:1220:12, 5 November 2009‎ 83.104.248.190 talk‎ 10,181 bytes −2,225‎ →‎{{header|Tcl}}

curprev 00:3300:33, 9 September 2009‎ rosettacode>Rpk‎ 12,406 bytes +17‎ omit m4

curprev 02:5202:52, 7 September 2009‎ Rdm talk contribs‎ 12,389 bytes +132‎ eliminated potential silliness having to do with arithmetic overflow.

curprev 02:0002:00, 15 August 2009‎ rosettacode>Blue Prawn‎ 12,257 bytes +20‎ omit OCaml

curprev 13:2313:23, 4 July 2009‎ rosettacode>Kevin Reid‎ 10,115 bytes +17‎ omit E; I want to tackle this sometime but it's not worth leaving on the main list
curprev 12:0512:05, 4 July 2009‎ Ce talk contribs‎ m 10,098 bytes +18‎ omit from C++
curprev 11:2311:23, 4 July 2009‎ rosettacode>ShinTakezou‎ m 10,080 bytes +129‎ several omit from

curprev 14:5314:53, 12 June 2009‎ rosettacode>Paddy3118‎ 9,951 bytes +21‎ Omit Python
curprev 13:3313:33, 12 June 2009‎ rosettacode>Mwn3d‎ m 9,930 bytes +19‎ I'm 99% sure Java couldn't (and shouldn't) do things like this
curprev 13:2713:27, 12 June 2009‎ rosettacode>Glennj‎ m 9,911 bytes +47‎ omit Ruby

curprev 23:5123:51, 14 May 2009‎ rosettacode>NevilleDNZ‎ m 9,864 bytes +108‎ ALGOL 68: might be possible, but would require a complex library like Maple, not sure.

curprev 09:3409:34, 13 May 2009‎ rosettacode>Dkf‎ 9,756 bytes +101‎ Tcl doesn't do formal proofs

curprev 18:2218:22, 4 April 2009‎ rosettacode>GiM‎ m 9,655 bytes +18‎ -D : this isn't task for imperative or OO languages

curprev 20:1820:18, 10 August 2008‎ 83.104.248.190 talk‎ 9,637 bytes +5,076‎ No edit summary

curprev 18:3118:31, 16 March 2008‎ rosettacode>Mwn3d‎ 4,561 bytes −122‎ Undo revision 14326 by Sparre (Talk) Just use GeSHi highlighting
curprev 11:5011:50, 16 March 2008‎ rosettacode>Sparre‎ 4,683 bytes +133‎ Pretty-printed the Ada source.
curprev 11:4411:44, 16 March 2008‎ rosettacode>Sparre‎ 4,550 bytes −243‎ Simplified the Ada source code.

curprev 16:0816:08, 19 February 2008‎ rosettacode>Mwn3d‎ 11,989 bytes −39‎ Task description goes at the top, examples go below it....no examples heading necessary

curprev 02:1602:16, 6 January 2008‎ 68.193.145.148 talk‎ 12,028 bytes −22‎ →‎Examples
curprev 01:5601:56, 6 January 2008‎ 68.193.145.148 talk‎ 12,050 bytes +6‎ →‎{{header|Omega}}
curprev 01:5501:55, 6 January 2008‎ 68.193.145.148 talk‎ 12,044 bytes +34‎ →‎Examples
curprev 01:5101:51, 6 January 2008‎ 68.193.145.148 talk‎ 12,010 bytes +288‎ →‎Examples

curprev 05:0105:01, 22 December 2007‎ rosettacode>Waldorf‎ m 11,722 bytes 0‎ →‎{{header|Ada}}: Corrected typo
curprev 05:0105:01, 22 December 2007‎ rosettacode>Waldorf‎ m 11,722 bytes +42‎ →‎{{header|Ada}}: Added short description of Natural
curprev 04:5904:59, 22 December 2007‎ rosettacode>Waldorf‎ 11,680 bytes +2,310‎ →‎Examples: Added Ada

curprev 21:0021:00, 21 December 2007‎ Epsilon talk contribs‎ 9,370 bytes +3,494‎ Added twelf example
curprev 20:5420:54, 21 December 2007‎ Epsilon talk contribs‎ 5,876 bytes +4,149‎ Added Agda2 example
curprev 20:4920:49, 21 December 2007‎ Epsilon talk contribs‎ 1,727 bytes +1,727‎ Initial upload.

12 March 2024

29 January 2024

11 May 2023

10 May 2023

28 August 2022

30 March 2022

29 March 2022

26 March 2022

11 August 2021

5 February 2021

31 December 2020

10 October 2020

18 August 2020

7 August 2020

13 June 2020

14 March 2020

10 January 2020

9 January 2020

19 December 2019

28 August 2019

12 February 2019

11 February 2019

6 December 2018

7 November 2015

23 May 2015

18 April 2015

22 June 2014

31 October 2013

7 June 2012

5 June 2012

1 June 2012

31 May 2012

30 May 2012

28 May 2012

14 May 2012

13 May 2012

12 May 2012

10 May 2012

7 April 2012

13 December 2011

5 November 2011

27 August 2011

26 August 2011

22 August 2011

9 August 2011

13 July 2011

21 June 2011

20 February 2011

3 December 2010

19 July 2010

26 May 2010

18 February 2010

21 November 2009

20 November 2009

5 November 2009

9 September 2009

7 September 2009

15 August 2009

3 August 2009

4 July 2009

12 June 2009

14 May 2009

13 May 2009

4 April 2009

10 August 2008

16 March 2008

12 March 2008

19 February 2008

6 January 2008

22 December 2007

21 December 2007