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
55web.archive.org
1st place
1st place
11github.com
380th place
292nd place
11leanprover.github.io
low place
low place
11formalabstracts.github.io
low place
low place
11xenaproject.wordpress.com
low place
low place
11quantamagazine.org
6,258th place
low place
11doi.org
2nd place
5th place
11leanprover-community.github.io
low place
low place

doi.org (Global: 2nd place; Russian: 5th 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: 380th place; Russian: 292nd place)

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

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

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

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

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