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
-
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 20:34, November 29, 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. 29 Nov. 2025, 20:34
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 29 November 2025]
Chicago
Anonymous Contributors, "Interesting Coq Projects", Alexandria, http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330 (Accessed November 29, 2025).
CBE/CSE
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.
Bluebook
Interesting Coq Projects, http://wiki.charles.systems/doku.php?id=a:coq:projects&rev=1711574330 (Last visited November 29, 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 November 29, 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 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]"
}
DokuWiki talk pages
- Markup
- [[a:coq:projects|Interesting Coq Projects]] ([[a:coq:projects?rev=1711574330|this version]])
- Result
- Interesting Coq Projects (this version)