Sign In

Login

Password

Forgot Password ? Sign Up

Lean (Russian Wikipedia)

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

Last modified:

Ref.Un. Ref.Website
Global rank Russian rank
3116lean-lang.org
low place
low place
174doi.org
2nd place
5th place
73leanprover-community.github.io
low place
low place
51sigplan.org
low place
low place
41microsoft.com
263rd place
287th place
32quantamagazine.org
6,258th place
low place
21ams.org
434th place
1,354th place
11teorth.github.io
low place
low place
11formalabstracts.github.io
low place
low place
11xenaproject.wordpress.com
low place
low place
11imperial.ac.uk
5,322nd place
9,692nd place

ams.org (Global: 434th place; Russian: 1,354th place)

doi.org (Global: 2nd place; Russian: 5th place)

dx.doi.org

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

  • Formal Abstracts (англ.). Formal Abstracts. Дата обращения: 3 ноября 2026. Разделы «About the project», «A vision».

imperial.ac.uk (Global: 5,322nd place; Russian: 9,692nd place)

ma.imperial.ac.uk

  • The Xena Project (англ.). Imperial College London. Дата обращения: 3 ноября 2026.

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

  • Release Notes (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026.
  • de Moura, Ullrich, 2021. L. de Moura; S. Ullrich. The Lean 4 Theorem Prover and Programming Language (англ.) // Automated Deduction — CADE-28. — Springer, 2021. — Vol. 12699. — P. 625–635. — doi:10.1007/978-3-030-79876-5_37.
  • Introduction. History (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026. § 1.1.
  • About the Lean FRO (англ.). Lean Lang. Дата обращения: 3 ноября 2026. Раздел «The Lean FRO».
  • Propositions and Proofs (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. §§ 3.1-3.3.
  • Inductive Types (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. §§ 7.1, 7.4.
  • Induction and Recursion (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. §§ 8.1-8.3.
  • Elaboration and Compilation (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026. Разделы «The Lean Pipeline», «The Kernel».
  • Tactics (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. §§ 5.1-5.3.
  • Validating a Lean Proof (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026. Разделы «The Blue Double Check Marks», «Printing Axioms», «Remaining Issues».
  • Christiansen, David Thrane. Functional Programming in Lean (англ.). Lean Lang. Дата обращения: 3 ноября 2026.
  • Interacting with Lean (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026.
  • Install Lean (англ.). Lean Lang. Дата обращения: 3 ноября 2026.
  • Build Tools and Distribution (англ.). The Lean Language Reference. Дата обращения: 3 ноября 2026. Разделы 24.1-24.2.
  • Inductive Types (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. § 7.4.
  • Tactics (англ.). Theorem Proving in Lean 4. Дата обращения: 3 ноября 2026. §§ 5.1-5.2.

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

microsoft.com (Global: 263rd place; Russian: 287th place)

quantamagazine.org (Global: 6,258th place; Russian: low place)

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

teorth.github.io (Global: low place; Russian: low place)

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