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: 14 October 2025 15:47 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 15:47, October 14, 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. 14 Oct. 2025, 15:47

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 14 October 2025]

Chicago

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

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