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

1^st place

1^st 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,413^th place

low place

2^nd place

3^rd place

1leanprover-community.github.io

low place

low place

doi.org

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

Formal Abstracts (неопр.). Дата обращения: 30 сентября 2021. Архивировано 20 октября 2021 года.

leanprover-community.github.io

Completion of the Liquid Tensor Experiment (неопр.). Lean community blog (15 июля 2022). Дата обращения: 17 июля 2022. Архивировано 17 июля 2022 года.

leanprover.github.io

Lean (неопр.). Дата обращения: 30 сентября 2021. Архивировано 18 октября 2021 года.

quantamagazine.org

Kevin Hartnett. Proof Assistant Makes Jump to Big-League Math (неопр.). Quanta (28 июля 2021). Дата обращения: 1 октября 2021. Архивировано 30 сентября 2021 года.

web.archive.org

Lean (неопр.). Дата обращения: 30 сентября 2021. Архивировано 18 октября 2021 года.
Formal Abstracts (неопр.). Дата обращения: 30 сентября 2021. Архивировано 20 октября 2021 года.
What is the Xena project? | Xena (неопр.). Дата обращения: 30 сентября 2021. Архивировано 28 сентября 2021 года.
Kevin Hartnett. Proof Assistant Makes Jump to Big-League Math (неопр.). Quanta (28 июля 2021). Дата обращения: 1 октября 2021. Архивировано 30 сентября 2021 года.
Completion of the Liquid Tensor Experiment (неопр.). Lean community blog (15 июля 2022). Дата обращения: 17 июля 2022. Архивировано 17 июля 2022 года.

xenaproject.wordpress.com

What is the Xena project? | Xena (неопр.). Дата обращения: 30 сентября 2021. Архивировано 28 сентября 2021 года.