Bibliographic details for "Coq"

• Page name: Coq
• Author: Anonymous Contributors
• Publisher: Alexandria.
• Date of this revision: 27 March 2024 20:59 GMT
• Date retrieved: 29 November 2025 19:36 GMT
• Permanent URL: http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193
• Page Version ID: 1711573193

Please remember to check your manual of style, standards guide or instructor's guidelines for the exact syntax to suit your needs.

Coq. (2024, Mar 27). In Alexandria. Retrieved 19:36, November 29, 2025, from http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193.

Anonymous Contributors. "Coq". Alexandria. 27 Mar. 2024. Web. 29 Nov. 2025, 19:36

Anonymous Contributors, 'Coq', Alexandria, 27 March 2024, 20:59 GMT, <http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193> [Accessed 29 November 2025]

Anonymous Contributors, "Coq", Alexandria, http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193 (Accessed November 29, 2025).

Anonymous Contributors. Coq [Internet]. Alexandria; 2024 Mar 27, 20:59 GMT [Cited 2025 Nov 29]. Available at: http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193.

Coq, http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193 (Last visited November 29, 2025).

Anonymous Contributors. Coq. Alexandria. March 27, 2024, 20:59 GMT. Available at: http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193. Accessed November 29, 2025.

 @misc{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "Coq --- Alexandria",
   year = "2024",
   url = "http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193",
   note = "[Online; accessed 29-November-2025]"
 }
  

When using the LaTeX package url (\usepackage{url} somewhere in the preamble), which tends to give much more nicely formatted web addresses, the following may be preferred:

 @misc{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "Coq --- Alexandria",
   year = "2024",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193}",
   note = "[Online; accessed 29-November-2025]"


   author = "Anonymous Contributors",
   title = "Coq --- Alexandria",
   year = "2024",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:coq:start&rev=1711573193}",
   note = "[Online; accessed 29-November-2025]"
 }
  

Markup

[[a:coq:start|Coq]] ([[a:coq:start?rev=1711573193|this version]])

Result

Coq (this version)