Lean (proof assistant) (English Wikipedia)

Ullrich, Sebastian; de Moura, Leonardo (2020-01-28). "Beyond Notations: Hygienic Macro Expansion for Theorem Proving Languages". arXiv:2001.10490 [cs].
"Stability and Symmetry Breaking in the General Two-Higgs-Doublet Model". arxiv.org. Retrieved 2026-04-12.

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

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

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

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.
Paulin-Mohring, Christine (1993). "Inductive definitions in the system Coq: Rules and properties". Typed Lambda Calculi and Applications. Lecture Notes in Computer Science. Vol. 664. Springer. pp. 328–345. doi:10.1007/BFb0037116.
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.

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

epiga.episciences.org

"Épijournal de Géométrie Algébrique - 2026 Demailly Prize". epiga.episciences.org (in French). Retrieved 2026-05-26.

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

"728". Erdos Problems. Retrieved June 15, 2026.
"347". Erdos Problems. Retrieved June 15, 2026.
"369". Erdos Problems. Retrieved June 15, 2026.

finance.yahoo.com (Global: 894^th place; English: 567^th place)

au.finance.yahoo.com

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

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

"Formal Abstracts". Github.

github.com (Global: 380^th place; English: 337^th place)

"Release 4.33.0". 10 August 2026. Retrieved 10 August 2026.
"Contributors to leanprover/lean4". GitHub. Retrieved 2026-08-11.
"leanprover-community/lean - Lean 3 Theorem Prover (community fork)". GitHub. Retrieved 2026-07-31.
"batteries". GitHub. Retrieved 2024-09-22.
"CSLib". GitHub. Retrieved 2026-03-02.
"SciLean". GitHub. Retrieved 2025-09-25.
"leanprover-community/physlib: A project to digitalise results from physics into Lean". GitHub. Retrieved 2026-03-02.
Tao, Terence. "analysis". github.com/teorth.

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

Macbeth, Heather. "The Mechanics of Proof". hrmacbeth.github.io.{{cite web}}: CS1 maint: deprecated archival service (link)

imperial.ac.uk (Global: 5,322^nd place; English: 3,529^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.{{cite web}}: CS1 maint: deprecated archival service (link)

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

"Why is it all in the kernel?".

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.
"The Lean Language Reference". Lean Language. Retrieved 2025-12-25.
"Std". Lean Language. Retrieved 2025-12-25.

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.

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

"Postmortem for Kernel Soundness Bug #14576".

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.

newscientist.com (Global: 1,041^st place; English: 901^st place)

"New Scientist". New Scientist. 2026-03-26. Retrieved 2026-04-12.

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.{{cite web}}: CS1 maint: deprecated archival service (link)
Metz, Cade (23 September 2024). "Is Math the Path to Chatbots That Don't Make Stuff Up?". New York Times.{{cite news}}: CS1 maint: deprecated archival service (link)
Roberts, Siobhan (July 25, 2024). "Move Over, Mathematicians, Here Comes AlphaProof". New York Times.{{cite web}}: CS1 maint: deprecated archival service (link)

openai.com (Global: 4,607^th place; English: 5,254^th place)

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

physlib.io (Global: low place; English: low place)

"Physlib".

quantamagazine.org (Global: 6,258^th place; English: 4,046^th place)

"Building the Mathematical Library of the Future". Quanta Magazine. October 2020. Archived from the original on 2026-03-29.
Hartnett, Kevin (July 28, 2021). "Proof Assistant Makes Jump to Big-League Math". Quanta Magazine.{{cite news}}: CS1 maint: deprecated archival service (link)
Sloman, Leila (2023-12-06). "'A-Team' of Math Proves a Critical Link Between Addition and Sets". Quanta Magazine. Retrieved 2023-12-07.

rocq-prover.org (Global: low place; English: low place)

"The Rocq Prover". rocq-prover.org. Retrieved July 26, 2026.

semanticscholar.org (Global: 15^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: 182^nd place; English: 172^nd 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.{{cite web}}: CS1 maint: deprecated archival service (link)

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.
"Building the Mathematical Library of the Future". Quanta Magazine. October 2020. Archived from the original on 2026-03-29.

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

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

youtube.com (Global: 13^th place; English: 14^th place)

"The Collatz Conjecture was FALSE (for 2.5 days in July)".

Lean (proof assistant) (English Wikipedia)

arxiv.org (Global: 49th place; English: 31st place)

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

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

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

epiga.episciences.org

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

finance.yahoo.com (Global: 894th place; English: 567th place)

au.finance.yahoo.com

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

github.com (Global: 380th place; English: 337th place)

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

imperial.ac.uk (Global: 5,322nd place; English: 3,529th place)

wwwf.imperial.ac.uk

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

lawrencecpaulson.github.io (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)

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

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

ai.meta.com

newscientist.com (Global: 1,041st place; English: 901st place)

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

openai.com (Global: 4,607th place; English: 5,254th place)

physlib.io (Global: low place; English: low place)

quantamagazine.org (Global: 6,258th place; English: 4,046th place)

rocq-prover.org (Global: low place; English: low place)

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

api.semanticscholar.org

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

springer.com (Global: 182nd place; English: 172nd 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)

youtube.com (Global: 13th place; English: 14th place)

arxiv.org (Global: 49^th place; English: 31^st place)

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

finance.yahoo.com (Global: 894^th place; English: 567^th place)

github.com (Global: 380^th place; English: 337^th place)

imperial.ac.uk (Global: 5,322^nd place; English: 3,529^th place)

newscientist.com (Global: 1,041^st place; English: 901^st place)

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

openai.com (Global: 4,607^th place; English: 5,254^th place)

quantamagazine.org (Global: 6,258^th place; English: 4,046^th place)

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

springer.com (Global: 182^nd place; English: 172^nd place)

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

youtube.com (Global: 13^th place; English: 14^th place)