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.

refsWebsite
Global rank Russian rank
5web.archive.org
1st place
1st place
1github.com
383rd place
298th place
1leanprover.github.io
low place
low place
1formalabstracts.github.io
low place
low place
1xenaproject.wordpress.com
low place
low place
1quantamagazine.org
6,413th place
low place
1doi.org
2nd place
3rd place
1leanprover-community.github.io
low place
low place

doi.org (Global: 2nd place; Russian: 3rd place)

dx.doi.org

  • Davide Castelvecchi. Mathematicians welcome computer-assisted proof in ‘grand unification’ theory // Nature. — 2021. — Vol. 595. — P. 18—19. — doi:10.1038/d41586-021-01627-2.

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

github.com (Global: 383rd place; Russian: 298th place)

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

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

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

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

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