Sign In

Login

Password

Forgot Password ? Sign Up

Lean (Chinese Wikipedia)

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

Last modified:

Ref.Un. Ref.Website
Global rank Chinese rank
1514web.archive.org
1st place
1st place
33archive.today
28th place
9th place
33quantamagazine.org
6,258th place
6,483rd place
33leanprover-community.github.io
low place
low place
22github.com
380th place
277th place
21springer.com
182nd place
219th place
21doi.org
2nd place
5th place
11lean-lang.org
low place
low 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
5,615th place
11formalabstracts.github.io
low place
low place
11xenaproject.wordpress.com
low place
low place
11openai.com
4,607th place
2,079th place
11meta.com
low place
low place

archive.today (Global: 28th place; Chinese: 9th place)

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

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

github.com (Global: 380th place; Chinese: 277th place)

imperial.ac.uk (Global: 5,322nd place; Chinese: 5,615th place)

wwwf.imperial.ac.uk

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

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

  • Mission. Lean FRO. 2023-07-25 [2024-03-14]. （原始内容存档于2024-12-22）. 

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

  • About. Lean Language. [2024-03-13]. （原始内容存档于2025-01-30）. 

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

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

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

ai.meta.com

openai.com (Global: 4,607th place; Chinese: 2,079th place)

quantamagazine.org (Global: 6,258th place; Chinese: 6,483rd place)

springer.com (Global: 182nd place; Chinese: 219th place)

link.springer.com

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

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