Coq (Russian Wikipedia)

Analysis of information sources in references of the Wikipedia article "Coq" in Russian language version.

refsWebsite

Global rank Russian rank

5web.archive.org

1^st place

1^st place

383^rd place

298^th place

4,903^rd place

low place

1learnxinyminutes.com

low place

low place

702^nd place

1,031^st place

18^th place

63^rd place

low place

low place

adacore.com

docs.adacore.com

Alternative Provers — SPARK 2014 User's Guide 22.0w (неопр.). docs.adacore.com. Дата обращения: 30 сентября 2020. Архивировано 12 октября 2020 года.

github.com

Release Rocq 9.0.0 — 2025.

harvard.edu

ynot.cs.harvard.edu

Ynot (неопр.). Дата обращения: 26 февраля 2009. Архивировано 25 февраля 2009 года.

inria.fr

logical.inria.fr

Архивированная копия (неопр.). Дата обращения: 26 февраля 2009. Архивировано 26 февраля 2009 года.

learnxinyminutes.com

Learn X in Y minutes. Where X=Coq (неопр.). Дата обращения: 20 июля 2023. Архивировано 20 июля 2023 года.

upenn.edu

softwarefoundations.cis.upenn.edu

Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey. Logical Foundations / Benjamin C. Pierce. — Electronic textbook, 2023. — Vol. 1. Архивная копия от 20 июля 2023 на Wayback Machine

web.archive.org

Архивированная копия (неопр.). Дата обращения: 26 февраля 2009. Архивировано 26 февраля 2009 года.
Learn X in Y minutes. Where X=Coq (неопр.). Дата обращения: 20 июля 2023. Архивировано 20 июля 2023 года.
Benjamin C. Pierce, Arthur Azevedo de Amorim, Chris Casinghino, Marco Gaboardi, Michael Greenberg, Cătălin Hriţcu, Vilhelm Sjöberg, Brent Yorgey. Logical Foundations / Benjamin C. Pierce. — Electronic textbook, 2023. — Vol. 1. Архивная копия от 20 июля 2023 на Wayback Machine
Ynot (неопр.). Дата обращения: 26 февраля 2009. Архивировано 25 февраля 2009 года.
Alternative Provers — SPARK 2014 User's Guide 22.0w (неопр.). docs.adacore.com. Дата обращения: 30 сентября 2020. Архивировано 12 октября 2020 года.