Jump to content

Talk:Proof assistant: Revision history

View logs for this page (view filter log)

Filter revisionsshowhide

To date:

Tag filter:

Invert selection

External tools:

For any version listed below, click on its date to view it. For more help, see Help:Page history and Help:Edit summary. (cur) = difference from current version, (prev) = difference from preceding version, m = minor edit, → = section edit, ← = automatic edit summary

curprev 12:1112:11, 8 February 2024‎ Cewbot talk contribs‎ m 5,420 bytes +12‎ Maintain {{WPBS}} and vital articles: 2 WikiProject templates. Create {{WPBS}}. Keep majority rating "Start" in {{WPBS}}. Remove 2 same ratings as {{WPBS}} in {{WikiProject Computer science}}, {{Maths rating}}. Remove 1 deprecated parameter: field. undo Tag: Talk banner shell conversion

curprev 14:1414:14, 27 November 2021‎ SineBot talk contribs‎ m 5,408 bytes +364‎ Signing comment by 2607:FEA8:1BA0:A300:A5DB:51FB:64C9:32A9 - "→‎History: new section" undo
curprev 14:1314:13, 27 November 2021‎ 2607:fea8:1ba0:a300:a5db:51fb:64c9:32a9 talk‎ 5,044 bytes +274‎ →‎History: new section undo

curprev 12:4312:43, 3 June 2021‎ 2a00:23c7:5989:8e00:1599:17bf:73bd:6c89 talk‎ 4,770 bytes +492‎ Merge was a mistake undo

curprev 00:4000:40, 24 February 2021‎ 2603:6000:aa4d:c5b8:222:69ff:fe4c:408b talk‎ 4,278 bytes +3‎ →‎Automath undo
curprev 00:3900:39, 24 February 2021‎ SineBot talk contribs‎ m 4,275 bytes +361‎ Signing comment by 2603:6000:AA4D:C5B8:222:69FF:FE4C:408B - "" undo
curprev 00:3800:38, 24 February 2021‎ 2603:6000:aa4d:c5b8:222:69ff:fe4c:408b talk‎ 3,914 bytes +753‎ No edit summary undo

curprev 21:1221:12, 12 December 2020‎ Jordan Mitchell Barrett talk contribs‎ 3,161 bytes +330‎ →‎More columns: new section undo

curprev 12:2512:25, 16 May 2019‎ 94.65.216.254 talk‎ 2,831 bytes +20‎ No edit summary undo

curprev 23:5123:51, 10 January 2019‎ Jarble talk contribs‎ 2,811 bytes +41‎ The "Automated proof checking" article was merged into this article. undo

curprev 19:1919:19, 29 December 2016‎ 91.66.12.246 talk‎ 2,770 bytes +230‎ Idris undo

curprev 10:3910:39, 5 July 2016‎ SineBot talk contribs‎ m 2,540 bytes +299‎ Signing comment by Horaceb - "" undo
curprev 10:3810:38, 5 July 2016‎ Horaceb talk contribs‎ 2,241 bytes +146‎ No edit summary undo

curprev 05:1505:15, 20 July 2014‎ Konstantin.Solomatov talk contribs‎ 2,095 bytes +258‎ No edit summary undo

curprev 04:0204:02, 26 January 2014‎ Mark viking talk contribs‎ 1,837 bytes +3‎ Rerating to start class undo

curprev 22:2322:23, 20 September 2012‎ MisterCarl talk contribs‎ 1,834 bytes +1,099‎ →‎Comparison table: contents and meaning?: new section undo

curprev 04:5404:54, 11 March 2012‎ 121.45.201.75 talk‎ 735 bytes +2‎ No edit summary undo

curprev 00:4400:44, 14 September 2011‎ Ruud Koot talk contribs‎ 733 bytes +66‎ {{WikiProject Computer science|class=stub|priority=high}} undo
curprev 00:0200:02, 14 September 2011‎ Ruud Koot talk contribs‎ m 667 bytes 0‎ moved Talk:Interactive theorem proving to Talk:Proof assistant: more common name undo

curprev 14:2014:20, 2 April 2011‎ KLuwak talk contribs‎ 667 bytes +202‎ →‎Agda undo

curprev 08:5408:54, 11 September 2010‎ Abdull talk contribs‎ 465 bytes +309‎ →‎Human help: new section undo

curprev 16:0816:08, 31 December 2009‎ RobinK talk contribs‎ 156 bytes +31‎ Rating article for WikiProject Mathematics. Quality: Stub / Priority: Mid / Field: foundations (script assisted). Please report any errors on my talk page. undo

curprev 22:3222:32, 31 August 2008‎ Captain panda talk contribs‎ 125 bytes +30‎ added mathematics project template and assessed as stub using AWB undo

curprev 10:0510:05, 12 September 2007‎ Outs talk contribs‎ 95 bytes +95‎ No edit summary undo

curprev 03:3303:33, 6 April 2007‎ CBM talk contribs‎ m empty −39‎ remove maths rating template (manual edit under 6/minute) undo

curprev 01:5401:54, 17 March 2007‎ Parker007 talk contribs‎ m 39 bytes +39‎ math

Retrieved from "https://en.wikipedia.org/wiki/Talk:Proof_assistant"