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: 23 August 2025 17:01 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.

Citation styles for "Interesting Coq Projects"

APA

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

MLA

Anonymous Contributors. "Interesting Coq Projects". Alexandria. 27 Mar. 2024. Web. 23 Aug. 2025, 17:01

MHRA

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 23 August 2025]

Chicago

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

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

Bluebook

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

AMA

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 August 23, 2025.

BibTeX

 @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 23-August-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 23-August-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 23-August-2025]"
 }