Cite This Page
Bibliographic details for Coq
- Page name: Coq
- Author: Rosetta Code contributors
- Publisher: Rosetta Code.
- Date of last revision: 16 June 2008 02:28 UTC
- Date retrieved: 17 February 2025 08:05 UTC
- Permanent URL: https://rosettacode.org/wiki/Coq?oldid=74543
- Page Version ID: 74543
Citation styles for Coq
APA style
Coq. (2008, June 16). Rosetta Code. Retrieved 08:05, February 17, 2025 from https://rosettacode.org/wiki/Coq?oldid=74543.
MLA style
"Coq." Rosetta Code. 16 Jun 2008, 02:28 UTC. 17 Feb 2025, 08:05 <https://rosettacode.org/wiki/Coq?oldid=74543>.
MHRA style
Rosetta Code contributors, 'Coq', Rosetta Code, 16 June 2008, 02:28 UTC, <https://rosettacode.org/wiki/Coq?oldid=74543> [accessed 17 February 2025]
Chicago style
Rosetta Code contributors, "Coq," Rosetta Code, https://rosettacode.org/wiki/Coq?oldid=74543 (accessed February 17, 2025).
CBE/CSE style
Rosetta Code contributors. Coq [Internet]. Rosetta Code; 2008 Jun 16, 02:28 UTC [cited 2025 Feb 17]. Available from: https://rosettacode.org/wiki/Coq?oldid=74543.
Bluebook style
Coq, https://rosettacode.org/wiki/Coq?oldid=74543 (last visited February 17, 2025).
BibTeX entry
@misc{ wiki:xxx, author = "Rosetta Code", title = "Coq --- Rosetta Code{,} ", year = "2008", url = "https://rosettacode.org/wiki/Coq?oldid=74543", note = "[Online; accessed 17-February-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 = "Rosetta Code", title = "Coq --- Rosetta Code{,} ", year = "2008", url = "\url{https://rosettacode.org/wiki/Coq?oldid=74543}", note = "[Online; accessed 17-February-2025]" }