Proof: Revision history

12 March 2024

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

29 January 2024

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

11 May 2023

• 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

10 May 2023

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

28 August 2022

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

30 March 2022

• curprev 13:5713:57, 30 March 2022‎ Chemoelectric talk contribs‎ 69,561 bytes +300‎ →‎An unusual use of ATS
• curprev 13:5013:50, 30 March 2022‎ Chemoelectric talk contribs‎ 69,261 bytes +39‎ →‎An unusual use of ATS
• curprev 13:4713:47, 30 March 2022‎ Chemoelectric talk contribs‎ 69,222 bytes +574‎ →‎An unusual use of ATS
• curprev 01:2901:29, 30 March 2022‎ Chemoelectric talk contribs‎ m 68,648 bytes −1‎ →‎An unusual use of ATS
• curprev 01:2401:24, 30 March 2022‎ Chemoelectric talk contribs‎ 68,649 bytes +887‎ →‎An unusual use of ATS

29 March 2022

• curprev 21:2921:29, 29 March 2022‎ Chemoelectric talk contribs‎ m 67,762 bytes −2‎ →‎An unusual use of ATS
• curprev 21:1821:18, 29 March 2022‎ Chemoelectric talk contribs‎ 67,764 bytes +2,889‎ →‎{{header|ATS}}
• curprev 18:0918:09, 29 March 2022‎ Chemoelectric talk contribs‎ 64,875 bytes +54‎ →‎{{header|ATS}}
• curprev 17:5917:59, 29 March 2022‎ Chemoelectric talk contribs‎ 64,821 bytes +304‎ →‎{{header|ATS}}
• curprev 17:3217:32, 29 March 2022‎ Chemoelectric talk contribs‎ 64,517 bytes +591‎ →‎{{header|ATS}}
• curprev 17:2617:26, 29 March 2022‎ Chemoelectric talk contribs‎ 63,926 bytes +2,914‎ →‎{{header|Coq}}

26 March 2022

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

11 August 2021

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

5 February 2021

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

31 December 2020

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

10 October 2020

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

18 August 2020

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

7 August 2020

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

13 June 2020

• 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

14 March 2020

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

10 January 2020

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

9 January 2020

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

19 December 2019

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

28 August 2019

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

12 February 2019

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

11 February 2019

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

6 December 2018

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

7 November 2015

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

23 May 2015

• 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)

18 April 2015

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

22 June 2014

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

31 October 2013

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

7 June 2012

• curprev 20:3820:38, 7 June 2012‎ Rdm talk contribs‎ m 21,201 bytes +6‎ J: generalize: zero is not a free variable
• curprev 19:1019:10, 7 June 2012‎ Rdm talk contribs‎ 21,195 bytes +3‎ J: bug fix: monadic symbols must depend on the operation being performed
• curprev 16:5516:55, 7 June 2012‎ Rdm talk contribs‎ m 21,192 bytes +1‎ J: make the system simpler to describe.
• curprev 16:2916:29, 7 June 2012‎ Rdm talk contribs‎ 21,191 bytes +15‎ J: eliminate another class of unsupported statements (-. used dyadically between predicates)
• curprev 12:5512:55, 7 June 2012‎ Rdm talk contribs‎ 21,176 bytes +49‎ J: bug fix -- forbid a class of unsupported statements

5 June 2012

• 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

1 June 2012

• curprev 11:4211:42, 1 June 2012‎ Rdm talk contribs‎ 20,722 bytes +292‎ J: show some (boring but relevant) output
• curprev 11:3811:38, 1 June 2012‎ Rdm talk contribs‎ 20,430 bytes +7‎ J: proof acceptance should be silent
• curprev 08:0208:02, 1 June 2012‎ rosettacode>Ht‎ 20,423 bytes +1,703‎ update haskell example