Coq (software): Revision history

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 17:0217:02, 21 September 2024 115.66.48.52 talk 18,395 bytes +15 No edit summary undo Tag: Visual edit
curprev 16:5616:56, 21 September 2024 115.66.48.52 talk 18,380 bytes −1,423 No edit summary undo Tag: Visual edit
curprev 16:5416:54, 21 September 2024 115.66.48.52 talk 19,803 bytes +5 No edit summary undo Tag: Visual edit
curprev 16:5316:53, 21 September 2024 115.66.48.52 talk 19,798 bytes +1,969 Provided a much more beginner friendly example. undo Tag: Visual edit

curprev 02:1002:10, 5 July 2024 2601:280:5f00:f7c0:4453:ebb0:e353:b984 talk 17,829 bytes 0 →Other applications undo
curprev 02:0902:09, 5 July 2024 2601:280:5f00:f7c0:4453:ebb0:e353:b984 talk 17,829 bytes +646 →Other applications undo

curprev 18:3418:34, 29 February 2024 Jerryobject talk contribs 17,183 bytes −99 →External links: Adds: Template:Official website, Template:GitHub, WP:NAVBOX. Small WP:COPYEDITs WP:EoS WP:TERSE. undo

curprev 23:4023:40, 21 January 2024 Citation bot talk contribs 17,282 bytes +4 Added website. Removed parameters. | Use this bot. Report bugs. | #UCB_CommandLine undo

curprev 20:2820:28, 15 January 2024 Tropicalkitty talk contribs m 17,278 bytes −73 Undid edits by 91.231.41.40 (talk) to last revision by MRandl: nonconstructive edits undo Tags: Undo SWViewer [1.6]
curprev 20:2820:28, 15 January 2024 91.231.41.40 talk 17,351 bytes +73 →Notable uses undo Tag: Reverted

curprev 09:3409:34, 12 January 2024 MRandl talk contribs m 17,278 bytes 0 citation on correct side of dot undo Tag: Visual edit
curprev 09:3209:32, 12 January 2024 MRandl talk contribs 17,278 bytes +363 coq -> rocq name change undo Tag: Visual edit

curprev 02:1202:12, 4 January 2024 OAbot talk contribs m 16,915 bytes +48 Open access bot: hdl updated in citation with #oabot. undo

curprev 23:5723:57, 28 December 2023 Davemck talk contribs m 16,867 bytes +11 Clean up duplicate template arguments using findargdups undo
curprev 07:5807:58, 28 December 2023 David Eppstein talk contribs 16,856 bytes +422 cs1 undo
curprev 07:5207:52, 28 December 2023 David Eppstein talk contribs 16,434 bytes +102 one more undo
curprev 07:5107:51, 28 December 2023 David Eppstein talk contribs 16,332 bytes +277 clean up broken lncs citations undo

curprev 06:3006:30, 11 December 2023 Citation bot talk contribs 16,055 bytes +27 Alter: template type. Add: s2cid, volume, chapter-url, chapter, authors 1-1. Removed or converted URL. Removed parameters. Some additions/deletions were parameter name changes. | Use this bot. Report bugs. | Suggested by Abductive | Category:Proof assistants | #UCB_Category 24/28 undo

curprev 21:1321:13, 10 December 2023 OAbot talk contribs m 16,028 bytes +17 Open access bot: doi updated in citation with #oabot. undo

curprev 21:5121:51, 7 December 2023 Siddharthist talk contribs 16,011 bytes +57 →Other applications: See also undo Tag: 2017 wikitext editor

curprev 19:2819:28, 4 December 2023 Siddharthist talk contribs m 15,954 bytes +2 →Tactic language: Typo fix undo Tag: 2017 wikitext editor
curprev 19:2719:27, 4 December 2023 Siddharthist talk contribs 15,952 bytes +4,201 Describe tactics, especially decision procedures undo Tag: 2017 wikitext editor

curprev 16:5716:57, 3 December 2023 LaundryPizza03 talk contribs 11,751 bytes −191 Not needed anymore undo

curprev 08:0708:07, 13 November 2023 176.33.244.42 talk 11,942 bytes +40 Add one undo Tags: Mobile edit Mobile web edit Disambiguation links added

curprev 20:0520:05, 12 November 2023 RMCD bot talk contribs 11,902 bytes −115 Removing notice of move discussion undo Tag: Manual revert
curprev 19:4919:49, 12 November 2023 Elli talk contribs m 12,017 bytes 0 Elli moved page Coq to Coq (software) without leaving a redirect: Moved per Talk:Coq#Requested move 5 November 2023 using rmCloser undo

curprev 19:4619:46, 5 November 2023 RMCD bot talk contribs 12,017 bytes +115 Notifying subject page of move discussion on Talk:Coq undo Tag: Reverted

curprev 21:1121:11, 9 October 2023 Qxu21 talk contribs m 11,902 bytes −14 Undid revision 1178135203 by 180.214.233.82 (talk) undo Tag: Undo

curprev 20:1920:19, 1 October 2023 180.214.233.82 talk 11,916 bytes +14 No edit summary undo Tags: Reverted Visual edit Mobile edit Mobile web edit

curprev 12:5612:56, 6 September 2023 Citation bot talk contribs 11,902 bytes +20 Add: publisher. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_webform 2848/3850 undo

curprev 22:0722:07, 24 July 2023 Danbloch talk contribs m 11,882 bytes −61 →top: clean up some wikilinks undo Tag: Visual edit

curprev 01:0201:02, 14 April 2023 Citation bot talk contribs 11,943 bytes +40 Add: website. | Use this bot. Report bugs. | Suggested by Abductive | #UCB_toolbar undo

curprev 19:3619:36, 7 March 2023 BattyBot talk contribs 11,903 bytes −1 →top: Fixed reference date error(s) (see CS1 errors: dates for details) and AWB general fixes undo Tag: AWB
curprev 18:2618:26, 7 March 2023 Emosy talk contribs m 11,904 bytes +26 Update link to GitHub wiki page for alternative names undo Tag: 2017 wikitext editor

curprev 22:4122:41, 24 February 2023 Partofthemachine talk contribs 11,878 bytes +11 No edit summary undo
curprev 22:4022:40, 24 February 2023 Partofthemachine talk contribs 11,867 bytes +17 No edit summary undo
curprev 12:3612:36, 24 February 2023 Shhhnotsoloud talk contribs 11,850 bytes +16 Amend hatnote undo

curprev 07:0607:06, 22 February 2023 Partofthemachine talk contribs 11,834 bytes −15 No edit summary undo

curprev 12:1812:18, 8 February 2023 Tea2min talk contribs 11,849 bytes −1 Undid revision 1138069056 by 27.55.70.60 (talk) undo Tag: Undo

curprev 21:4321:43, 7 February 2023 27.55.70.60 talk 11,850 bytes +1 No edit summary undo Tags: Reverted Mobile edit Mobile web edit

curprev 15:3315:33, 14 December 2022 Skyerise talk contribs 11,849 bytes −157 →See also: remove partial list of proof assistants and instead link to list undo
curprev 14:5714:57, 14 December 2022 Synagogue Turing Thesis talk contribs m 12,006 bytes 0 See also in alphabetical order undo Tag: Visual edit

curprev 21:5021:50, 2 December 2022 Synagogue Turing Thesis talk contribs 12,006 bytes +8 small clarification in the CompCert application // Edit via Wikitext Extension for VSCode undo
curprev 21:4921:49, 2 December 2022 Skyerise talk contribs 11,998 bytes 0 →See also: is in alpha order undo
curprev 21:4621:46, 2 December 2022 Synagogue Turing Thesis talk contribs 11,998 bytes +18 Fixed reference to Lean to be specialized to the proof assistant, not the disambiguation page // Edit via Wikitext Extension for VSCode undo
curprev 21:4421:44, 2 December 2022 Synagogue Turing Thesis talk contribs 11,980 bytes +10 Added Lean (a similar proof assistant) to the see also section // Edit via Wikitext Extension for VSCode undo Tag: Disambiguation links added

curprev 04:4504:45, 14 November 2022 Kleinpecan talk contribs m 11,970 bytes +8 Language template undo
curprev 04:4504:45, 14 November 2022 Kleinpecan talk contribs m 11,962 bytes +4 Link undo

curprev 19:3319:33, 28 September 2022 AnomieBOT talk contribs 11,958 bytes +272 Rescuing orphaned refs (":0" from rev 1110502569) undo
curprev 19:2119:21, 28 September 2022 Skyerise talk contribs 11,686 bytes −335 rm duplication undo

21 September 2024

5 July 2024

29 February 2024

21 January 2024

15 January 2024

12 January 2024

4 January 2024

28 December 2023

11 December 2023

10 December 2023

7 December 2023

4 December 2023

3 December 2023

13 November 2023

12 November 2023

5 November 2023

9 October 2023

1 October 2023

6 September 2023

24 July 2023

14 April 2023

7 March 2023

24 February 2023

22 February 2023

8 February 2023

7 February 2023

14 December 2022

2 December 2022

14 November 2022

28 September 2022