Cite This Page
Bibliographic details for Tasks not implemented in Lean
- Page name: Tasks not implemented in Lean
- Author: Rosetta Code contributors
- Publisher: Rosetta Code.
- Date of last revision: 18 January 2024 12:56 UTC
- Date retrieved: 8 June 2024 08:06 UTC
- Permanent URL: https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611
- Page Version ID: 360611
Citation styles for Tasks not implemented in Lean
APA style
Tasks not implemented in Lean. (2024, January 18). Rosetta Code. Retrieved 08:06, June 8, 2024 from https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611.
MLA style
"Tasks not implemented in Lean." Rosetta Code. 18 Jan 2024, 12:56 UTC. 8 Jun 2024, 08:06 <https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611>.
MHRA style
Rosetta Code contributors, 'Tasks not implemented in Lean', Rosetta Code, 18 January 2024, 12:56 UTC, <https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611> [accessed 8 June 2024]
Chicago style
Rosetta Code contributors, "Tasks not implemented in Lean," Rosetta Code, https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611 (accessed June 8, 2024).
CBE/CSE style
Rosetta Code contributors. Tasks not implemented in Lean [Internet]. Rosetta Code; 2024 Jan 18, 12:56 UTC [cited 2024 Jun 8]. Available from: https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611.
Bluebook style
Tasks not implemented in Lean, https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611 (last visited June 8, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "Rosetta Code", title = "Tasks not implemented in Lean --- Rosetta Code{,} ", year = "2024", url = "https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611", note = "[Online; accessed 8-June-2024]" }
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 = "Tasks not implemented in Lean --- Rosetta Code{,} ", year = "2024", url = "\url{https://rosettacode.org/wiki/Tasks_not_implemented_in_Lean?oldid=360611}", note = "[Online; accessed 8-June-2024]" }