لین (دستیار اثبات) (Persian Wikipedia)

Analysis of information sources in references of the Wikipedia article "لین (دستیار اثبات)" in Persian language version.

refsWebsite

Global rank Persian rank

4leanprover-community.github.io

low place

low place

14^th place

29^th place

2quantamagazine.org

6,413^th place

low place

6,505^th place

6,165^th place

low place

low place

274^th place

506^th place

2^nd place

2^nd place

1semanticscholar.org

11^th place

52^nd place

1web.archive.org

1^st place

1^st place

1leanprover.github.io

low place

low place

low place

low place

383^rd place

1,455^th place

archive.today

"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.
"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.

doi.org

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

github.com

"std4". GitHub. Retrieved 2024-03-13.

kit.edu

pp.ipd.kit.edu

https://pp.ipd.kit.edu/uploads/publikationen/demoura21lean4.pdf

lean-fro.org

"Mission". Lean FRO. 2023-07-25. Retrieved 2024-03-14.

lean-lang.org

"About". Lean Language. Retrieved 2024-03-13.

leanprover-community.github.io

"Lean community". leanprover-community.github.io. Retrieved 2023-10-24.
"Lean community". leanprover-community.github.io. Retrieved 2023-10-24.
"Mathlib statistics". leanprover-community.github.io. Retrieved 2023-11-01.
"Installing Lean 4 on Linux". leanprover-community.github.io. Retrieved 2023-10-24.

leanprover.github.io

"Significant changes from Lean 3". Lean Manual. Archived from the original on 15 March 2023. Retrieved 24 March 2023.

quantamagazine.org

"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.
"Building the Mathematical Library of the Future". Quanta Magazine. Archived from the original on 2 Oct 2020.

semanticscholar.org

api.semanticscholar.org

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

springer.com

link.springer.com

Moura, Leonardo de; Ullrich, Sebastian (2021). Platzer, Andr'e; Sutcliffe, Geoff (eds.). Automated Deduction -- CADE 28. Springer International Publishing. pp. 625–635. doi:10.1007/978-3-030-79876-5_37. ISBN 978-3-030-79876-5. S2CID 235800962. Retrieved 24 March 2023.

web.archive.org

"Significant changes from Lean 3". Lean Manual. Archived from the original on 15 March 2023. Retrieved 24 March 2023.