Bibliographic details for "Interesting Coq Projects"

• Page name: Interesting Coq Projects
• Author: Anonymous Contributors
• Publisher: Alexandria.
• Date of this revision: 27 March 2024 21:18 GMT
• Date retrieved: 29 November 2025 20:34 GMT
• Permanent URL: http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330
• Page Version ID: 1711574330

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

Interesting Coq Projects. (2024, Mar 27). In Alexandria. Retrieved 20:34, November 29, 2025, from http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330.

Anonymous Contributors. "Interesting Coq Projects". Alexandria. 27 Mar. 2024. Web. 29 Nov. 2025, 20:34

Anonymous Contributors, 'Interesting Coq Projects', Alexandria, 27 March 2024, 21:18 GMT, <http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330> [Accessed 29 November 2025]

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

Anonymous Contributors. Interesting Coq Projects [Internet]. Alexandria; 2024 Mar 27, 21:18 GMT [Cited 2025 Nov 29]. Available at: http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330.

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

Anonymous Contributors. Interesting Coq Projects. Alexandria. March 27, 2024, 21:18 GMT. Available at: http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330. Accessed November 29, 2025.

 @misc{ wiki:xxx,
   author = "Anonymous Contributors",
   title = "Interesting Coq Projects --- Alexandria",
   year = "2024",
   url = "http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330",
   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 = "Interesting Coq Projects --- Alexandria",
   year = "2024",
   url = "\url{http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330}",
   note = "[Online; accessed 29-November-2025]"


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

Markup

[[a:coq:projects|Interesting Coq Projects]] ([[a:coq:projects?rev=1711574330|this version]])

Result

Interesting Coq Projects (this version)