Cite This Page
Bibliographic details for Lean (proof assistant)
- Page name: Lean (proof assistant)
- Author: HandWiki contributors
- Publisher: HandWiki, .
- Date of last revision: 6 February 2024 21:21 UTC
- Date retrieved: 1 June 2024 12:46 UTC
- Permanent URL: https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329
- Page Version ID: 3362329
Citation styles for Lean (proof assistant)
APA style
Lean (proof assistant). (2024, February 6). HandWiki, . Retrieved 12:46, June 1, 2024 from https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329.
MLA style
"Lean (proof assistant)." HandWiki, . 6 Feb 2024, 21:21 UTC. 1 Jun 2024, 12:46 <https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329>.
MHRA style
HandWiki contributors, 'Lean (proof assistant)', HandWiki, , 6 February 2024, 21:21 UTC, <https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329> [accessed 1 June 2024]
Chicago style
HandWiki contributors, "Lean (proof assistant)," HandWiki, , https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329 (accessed June 1, 2024).
CBE/CSE style
HandWiki contributors. Lean (proof assistant) [Internet]. HandWiki, ; 2024 Feb 6, 21:21 UTC [cited 2024 Jun 1]. Available from: https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329.
Bluebook style
Lean (proof assistant), https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329 (last visited June 1, 2024).
BibTeX entry
@misc{ wiki:xxx, author = "HandWiki", title = "Lean (proof assistant) --- HandWiki{,} ", year = "2024", url = "https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329", note = "[Online; accessed 1-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 = "HandWiki", title = "Lean (proof assistant) --- HandWiki{,} ", year = "2024", url = "\url{https://handwiki.org/wiki/index.php?title=Lean_(proof_assistant)&oldid=3362329}", note = "[Online; accessed 1-June-2024]" }