Lean (Spanish Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lean" in Spanish language version.

Last modified: 09:20:43, 18 October 2026 (UTC)

Ref.Un. Ref.Website

Global rank Spanish rank

33archive.today

28^th place

11^th place

33leanprover-community.github.io

low place

low place

22leanprover.github.io

low place

low place

22quantamagazine.org

6,258^th place

7,792^nd place

11web.archive.org

1^st place

1^st place

182^nd place

283^rd place

11jiggerwit.wordpress.com

low place

low place

11formalabstracts.github.io

low place

low place

11xenaproject.wordpress.com

low place

low place

archive.today (Global: 28^th place; Spanish: 11^th place)

«Building the Mathematical Library of the Future». Quanta Magazine. Archivado desde el original el 2 de octubre de 2020.
Hales, Thomas (18 de septiembre de 2018). «A Review of the Lean Theorem Prover». Jigger Wit. Archivado desde el original el 21 de noviembre de 2020.
Hartnett, Kevin (28 de julio de 2021). «Proof Assistant Makes Jump to Big-League Math». Quanta Magazine. Archivado desde el original el 2 Jan 2022.

formalabstracts.github.io (Global: low place; Spanish: low place)

«Formal Abstracts». Github.

jiggerwit.wordpress.com (Global: low place; Spanish: low place)

Hales, Thomas (18 de septiembre de 2018). «A Review of the Lean Theorem Prover». Jigger Wit. Archivado desde el original el 21 de noviembre de 2020.

leanprover-community.github.io (Global: low place; Spanish: low place)

«Lean community». leanprover-community.github.io. Consultado el 24 de octubre de 2023.
«Mathlib statistics». leanprover-community.github.io. Consultado el 1 de noviembre de 2023.
«Installing Lean 4 on Linux». leanprover-community.github.io. Consultado el 24 de octubre de 2023.

leanprover.github.io (Global: low place; Spanish: low place)

«Lean Prover About Page». Archivado desde el original el 18 de octubre de 2021. Consultado el 16 de noviembre de 2023.
«Significant changes from Lean 3». Lean Manual. Consultado el 24 de marzo de 2023.

quantamagazine.org (Global: 6,258^th place; Spanish: 7,792^nd place)

«Building the Mathematical Library of the Future». Quanta Magazine. Archivado desde el original el 2 de octubre de 2020.
Hartnett, Kevin (28 de julio de 2021). «Proof Assistant Makes Jump to Big-League Math». Quanta Magazine. Archivado desde el original el 2 Jan 2022.

springer.com (Global: 182^nd place; Spanish: 283^rd place)

link.springer.com

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff, eds. Automated Deduction -- CADE 28. Springer International Publishing. pp. 625-635. ISBN 978-3-030-79876-5. Consultado el 24 de marzo de 2023.

web.archive.org (Global: 1^st place; Spanish: 1^st place)

«Lean Prover About Page». Archivado desde el original el 18 de octubre de 2021. Consultado el 16 de noviembre de 2023.

xenaproject.wordpress.com (Global: low place; Spanish: low place)

«What is the Xena project?». Xena (en inglés). 8 de mayo de 2019.