Lean (Spanish Wikipedia)

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

refsWebsite

Global rank Spanish rank

14^th place

19^th place

3leanprover-community.github.io

low place

low place

2leanprover.github.io

low place

low place

2quantamagazine.org

6,413^th place

7,477^th place

1web.archive.org

1^st place

1^st place

274^th place

245^th place

1jiggerwit.wordpress.com

low place

low place

1formalabstracts.github.io

low place

low place

1xenaproject.wordpress.com

low place

low place

archive.today (Global: 14^th place; Spanish: 19^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,413^th place; Spanish: 7,477^th 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: 274^th place; Spanish: 245^th 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.