Cite This Page

Bibliographic details for Tasks not implemented in Lean

Citation styles for Tasks not implemented in Lean

APA style

Tasks not implemented in Lean. (2024, January 18). Rosetta Code. Retrieved 13:12, October 3, 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. 3 Oct 2024, 13:12 <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 3 October 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 October 3, 2024).

CBE/CSE style

Rosetta Code contributors. Tasks not implemented in Lean [Internet]. Rosetta Code; 2024 Jan 18, 12:56 UTC [cited 2024 Oct 3]. 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 October 3, 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 3-October-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 3-October-2024]"
 }


Retrieved from "https://rosettacode.org/wiki/Special:CiteThisPage"