Lean (proof assistant) (English Wikipedia)

Moura, Leonardo de; Ullrich, Sebastian (2021). "The Lean 4 Theorem Prover and Programming Language". In Platzer, André; Sutcliffe, Geoff (eds.). Automated Deduction – CADE 28. Lecture Notes in Computer Science. Vol. 12699. Cham: Springer International Publishing. pp. 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 (Global: low place; English: low place)

"Formal Abstracts". Github.

github.com (Global: 383^rd place; English: 320^th place)

"Release 4.24.0". 14 October 2025. Retrieved 20 October 2025.
"batteries". GitHub. Retrieved 2024-09-22.
"SciLean". GitHub. Retrieved 2025-09-25.
"PhysLean". GitHub. Retrieved 2025-09-25.
Tao, Terence. "analysis". github.com/teorth.

hrmacbeth.github.io (Global: low place; English: low place)

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

imperial.ac.uk (Global: 7,025^th place; English: 4,914^th place)

wwwf.imperial.ac.uk

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

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

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 (Global: low place; English: low place)

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

lean-lang.org (Global: low place; English: low place)

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

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

"Lean community". leanprover-community.github.io. Retrieved 2023-10-24.
"Mathlib statistics". leanprover-community.github.io. Retrieved 2025-05-07.
"Installing Lean 4 on Linux". leanprover-community.github.io. Retrieved 2023-10-24.

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

"Significant changes from Lean 3". Lean Manual. Archived from the original on 15 March 2023. Retrieved 24 March 2023.

meta.com (Global: low place; English: low place)

ai.meta.com

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

nytimes.com (Global: 7^th place; English: 7^th place)

Roberts, Siobhan (July 2, 2023). "A.I. Is Coming for Mathematics, Too". New York Times. Archived from the original on 1 May 2024.
Metz, Cade (23 September 2024). "Is Math the Path to Chatbots That Don't Make Stuff Up?". New York Times. Archived from the original on 24 Sep 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 (Global: 1,559^th place; English: 1,155^th place)

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

quantamagazine.org (Global: 6,413^th place; English: 4,268^th place)

"Building the Mathematical Library of the Future". Quanta Magazine. October 2020. 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 (Global: 11^th place; English: 8^th place)

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.

sigplan.org (Global: low place; English: low place)

"Programming Languages Software Award". www.sigplan.org. Archived from the original on 6 Jul 2025. Retrieved 2025-07-06.

springer.com (Global: 274^th place; English: 309^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. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

terrytao.wordpress.com (Global: low place; English: low place)

Tao, Terence (31 May 2025). "A Lean companion to "Analysis I"". Terry Tao -- What's New. WordPress. Archived from the original on 31 May 2025.

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

"Significant changes from Lean 3". Lean Manual. Archived from the original on 15 March 2023. Retrieved 24 March 2023.
"Programming Languages Software Award". www.sigplan.org. Archived from the original on 6 Jul 2025. Retrieved 2025-07-06.

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

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

yahoo.com (Global: 38^th place; English: 40^th place)

au.finance.yahoo.com

"DeepSeek upgrades its math-focused AI model Prover". Yahoo Finance. April 30, 2025. Retrieved April 30, 2025.

Lean (proof assistant) (English Wikipedia)

archive.today (Global: 14th place; English: 14th place)

deepmind.google (Global: low place; English: low place)

doi.org (Global: 2nd place; English: 2nd place)

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

github.com (Global: 383rd place; English: 320th place)

hrmacbeth.github.io (Global: low place; English: low place)

imperial.ac.uk (Global: 7,025th place; English: 4,914th place)

wwwf.imperial.ac.uk

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

lean-fro.org (Global: low place; English: low place)

lean-lang.org (Global: low place; English: low place)

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

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

meta.com (Global: low place; English: low place)

ai.meta.com

nytimes.com (Global: 7th place; English: 7th place)

openai.com (Global: 1,559th place; English: 1,155th place)

quantamagazine.org (Global: 6,413th place; English: 4,268th place)

semanticscholar.org (Global: 11th place; English: 8th place)

api.semanticscholar.org

sigplan.org (Global: low place; English: low place)

springer.com (Global: 274th place; English: 309th place)

link.springer.com

terrytao.wordpress.com (Global: low place; English: low place)

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

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

yahoo.com (Global: 38th place; English: 40th place)

au.finance.yahoo.com

archive.today (Global: 14^th place; English: 14^th place)

doi.org (Global: 2^nd place; English: 2^nd place)

github.com (Global: 383^rd place; English: 320^th place)

imperial.ac.uk (Global: 7,025^th place; English: 4,914^th place)

nytimes.com (Global: 7^th place; English: 7^th place)

openai.com (Global: 1,559^th place; English: 1,155^th place)

quantamagazine.org (Global: 6,413^th place; English: 4,268^th place)

semanticscholar.org (Global: 11^th place; English: 8^th place)

springer.com (Global: 274^th place; English: 309^th place)

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

yahoo.com (Global: 38^th place; English: 40^th place)