Rocq (Russian Wikipedia)

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

Last modified: 01:51:00, 20 June 2026 (UTC)

Ref.Un. Ref.Website

Global rank Russian rank

66inria.fr

6,372^nd place

low place

55web.archive.org

1^st place

55webcitation.org

25^th place

2^nd place

11github.com

380^th place

292^nd place

11archive.org

6^th place

11learnxinyminutes.com

low place

11upenn.edu

784^th place

1,502^nd place

11cs.harvard.edu

low place

11adacore.com

low place

adacore.com (Global: low place; Russian: low place)

docs.adacore.com

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

archive.org (Global: 6^th place; Russian: 6^th place)

Chlipala, 2013. Chlipala, A. Certified Programming with Dependent Types: A Pragmatic Introduction to the Coq Proof Assistant. — MIT Press, 2013. — 440 p. — ISBN 9780262026659. — доступное изложение применения Coq в доказательном программировании

cs.harvard.edu (Global: low place; Russian: low place)

ynot.cs.harvard.edu

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

github.com (Global: 380^th place; Russian: 292^nd place)

Rocq 9.2.0 — 2026.

inria.fr (Global: 6,372^nd place; Russian: low place)

coq.inria.fr

Manual, 2009, «Implicit Coercions». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Implicit arguments». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Building a toplevel extended with user tactics». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «The tactic language». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Program». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.

logical.inria.fr

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

learnxinyminutes.com (Global: low place; Russian: low place)

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

upenn.edu (Global: 784^th place; Russian: 1,502^nd place)

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 (Global: 1^st place; Russian: 1^st place)

Архивированная копия . Дата обращения: 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 года.

webcitation.org (Global: 25^th place; Russian: 2^nd place)

Manual, 2009, «Implicit Coercions». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Implicit arguments». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Building a toplevel extended with user tactics». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «The tactic language». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.
Manual, 2009, «Program». The Coq Development Team. The Coq Proof Assistant Reference Manual. Version 8.2. Дата обращения: 26 февраля 2009. Архивировано из оригинала 26 марта 2012 года.

Rocq (Russian Wikipedia)

adacore.com (Global: low place; Russian: low place)

docs.adacore.com

archive.org (Global: 6th place; Russian: 6th place)

cs.harvard.edu (Global: low place; Russian: low place)

ynot.cs.harvard.edu

github.com (Global: 380th place; Russian: 292nd place)

inria.fr (Global: 6,372nd place; Russian: low place)

coq.inria.fr

logical.inria.fr

learnxinyminutes.com (Global: low place; Russian: low place)

upenn.edu (Global: 784th place; Russian: 1,502nd place)

softwarefoundations.cis.upenn.edu

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

webcitation.org (Global: 25th place; Russian: 2nd place)

archive.org (Global: 6^th place; Russian: 6^th place)

github.com (Global: 380^th place; Russian: 292^nd place)

inria.fr (Global: 6,372^nd place; Russian: low place)

upenn.edu (Global: 784^th place; Russian: 1,502^nd place)

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

webcitation.org (Global: 25^th place; Russian: 2^nd place)