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: 28 April 2025 19:30 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 19:30, April 28, 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. 28 Apr. 2025, 19:30

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 28 April 2025]

Chicago

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

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