Sign In

Login

Password

Forgot Password ? Sign Up

Lean (Korean Wikipedia)

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

Last modified:

Ref.Un. Ref.Website
Global rank Korean rank
33github.com
380th place
118th place
33quantamagazine.org
6,258th place
2,147th place
33leanprover-community.github.io
low place
low place
33nytimes.com
7th place
17th place
32doi.org
2nd place
3rd place
11lean-lang.org
low place
low place
11springer.com
182nd place
185th place
11semanticscholar.org
15th place
11th place
11web.archive.org
1st place
1st place
11leanprover.github.io
low place
low place
11lean-fro.org
low place
low place
11jiggerwit.wordpress.com
low place
low place
11imperial.ac.uk
5,322nd place
1,373rd place
11terrytao.wordpress.com
low place
low place
11hrmacbeth.github.io
low place
low place
11formalabstracts.github.io
low place
low place
11xenaproject.wordpress.com
low place
low place
11openai.com
4,607th place
1,067th place
11meta.com
low place
6,266th place
11deepmind.google
low place
low place
11finance.yahoo.com
894th place
614th place

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

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

dx.doi.org

finance.yahoo.com (Global: 894th place; Korean: 614th place)

au.finance.yahoo.com

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

github.com (Global: 380th place; Korean: 118th place)

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

imperial.ac.uk (Global: 5,322nd place; Korean: 1,373rd place)

wwwf.imperial.ac.uk

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

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

  • “Mission”. 《Lean FRO》. 2023년 7월 25일. 2024년 3월 14일에 확인함.

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

  • “About”. 《Lean Language》. 2024년 3월 13일에 확인함.

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

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

meta.com (Global: low place; Korean: 6,266th place)

ai.meta.com

nytimes.com (Global: 7th place; Korean: 17th place)

openai.com (Global: 4,607th place; Korean: 1,067th place)

quantamagazine.org (Global: 6,258th place; Korean: 2,147th place)

semanticscholar.org (Global: 15th place; Korean: 11th place)

api.semanticscholar.org

springer.com (Global: 182nd place; Korean: 185th place)

link.springer.com

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

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

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