Coq (Russian Wikipedia)

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

refsWebsite
Global rank Russian rank
1st place
1st place
383rd place
298th place
4,903rd place
low place
low place
low place
702nd place
1,031st place
18th place
63rd place
low place
low place

adacore.com

docs.adacore.com

github.com

harvard.edu

ynot.cs.harvard.edu

inria.fr

logical.inria.fr

learnxinyminutes.com

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