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: 1 July 2025 21:43 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 21:43, July 1, 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. 1 Jul. 2025, 21:43

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 1 July 2025]

Chicago

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

Anonymous Contributors. Interesting Coq Projects [Internet]. Alexandria; 2024 Mar 27, 21:18 GMT [Cited 2025 Jul 1]. 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 July 1, 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 July 1, 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 1-July-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 1-July-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 1-July-2025]"
 }