Lean (proof assistant) (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Lean (proof assistant)" in English language version.

refsWebsite

Global rank English rank

14^th place

14^th place

3quantamagazine.org

6,413^th place

4,268^th place

3leanprover-community.github.io

low place

low place

2,312^th place

low place

274^th place

309^th place

2^nd place

2^nd place

7^th place

7^th place

low place

low place

1semanticscholar.org

11^th place

8^th place

1leanprover.github.io

low place

low place

low place

low place

383^rd place

320^th place

1jiggerwit.wordpress.com

low place

low place

1imperial.ac.uk

7,025^th place

4,914^th place

1hrmacbeth.github.io

low place

low place

1formalabstracts.github.io

low place

low place

1xenaproject.wordpress.com

low place

low place

1,559^th place

1,155^th place

low place

low place

1deepmind.google

low place

low place

archive.fo

Macbeth, Heather. "The Mechanics of Proof". hrmacbeth.github.io. Archived from the original on 5 Jun 2024.
Roberts, Siobhan (July 2, 2023). "A.I. Is Coming for Mathematics, Too". New York Times. Archived from the original on 1 May 2024.
Roberts, Siobhan (July 25, 2024). "Move Over, Mathematicians, Here Comes AlphaProof". New York Times. Archived from the original on July 29, 2024.

archive.today

"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.
Hales, Thomas (September 18, 2018). "A Review of the Lean Theorem Prover". Jigger Wit. Archived from the original on 21 Nov 2020.
Hartnett, Kevin (July 28, 2021). "Proof Assistant Makes Jump to Big-League Math". Quanta Magazine. Archived from the original on 2 Jan 2022.

deepmind.google

"AI achieves silver-medal standard solving International Mathematical Olympiad problems". Google DeepMind. 2024-05-14. Retrieved 2024-07-25.

doi.org

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, André; Sutcliffe, Geoff (eds.). "The Lean 4 Theorem Prover and Programming Language". Automated Deduction – CADE 28. Cham: Springer International Publishing: 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5.
Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

formalabstracts.github.io

"Formal Abstracts". Github.

github.com

"batteries". GitHub. Retrieved 2024-09-22.

hrmacbeth.github.io

Macbeth, Heather. "The Mechanics of Proof". hrmacbeth.github.io. Archived from the original on 5 Jun 2024.

imperial.ac.uk

wwwf.imperial.ac.uk

Buzzard, Kevin. "The Future of Mathematics?" (PDF). Retrieved 6 October 2020.

jiggerwit.wordpress.com

Hales, Thomas (September 18, 2018). "A Review of the Lean Theorem Prover". Jigger Wit. Archived from the original on 21 Nov 2020.

lean-fro.org

"Mission". Lean FRO. 2023-07-25. Retrieved 2024-03-14.

lean-lang.org

"About". Lean Language. Retrieved 2024-03-13.

leanprover-community.github.io

"Lean community". leanprover-community.github.io. Retrieved 2023-10-24.
"Mathlib statistics". leanprover-community.github.io. Retrieved 2024-09-22.
"Installing Lean 4 on Linux". leanprover-community.github.io. Retrieved 2023-10-24.

leanprover.github.io

"Significant changes from Lean 3". Lean Manual. Retrieved 24 March 2023.

meta.com

ai.meta.com

"Teaching AI advanced mathematical reasoning". Meta AI. November 3, 2022. Retrieved March 13, 2024.

nytimes.com

Roberts, Siobhan (July 2, 2023). "A.I. Is Coming for Mathematics, Too". New York Times. Archived from the original on 1 May 2024.
Roberts, Siobhan (July 25, 2024). "Move Over, Mathematicians, Here Comes AlphaProof". New York Times. Archived from the original on July 29, 2024.

openai.com

"Solving (some) formal math olympiad problems". OpenAI. February 2, 2022. Retrieved March 13, 2024.

quantamagazine.org

"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.
Hartnett, Kevin (July 28, 2021). "Proof Assistant Makes Jump to Big-League Math". Quanta Magazine. Archived from the original on 2 Jan 2022.
Sloman, Leila (2023-12-06). "'A-Team' of Math Proves a Critical Link Between Addition and Sets". Quanta Magazine. Retrieved 2023-12-07.

semanticscholar.org

api.semanticscholar.org

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

springer.com

link.springer.com

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, André; Sutcliffe, Geoff (eds.). "The Lean 4 Theorem Prover and Programming Language". Automated Deduction – CADE 28. Cham: Springer International Publishing: 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5.
Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

xenaproject.wordpress.com

"What is the Xena project?". Xena. 8 May 2019.