-
N/A
-
Daily visitors
N/A
-
Daily pageviews
N/A

Coq.inria.fr: Welcome to a World of Rocq Online
Rocq is a general-purpose, industrial-strength interactive theorem prover..
Coq.inria.fr: visit the most interesting Coq Inria pages, well-liked by users from China and France, or check the rest of coq.inria.fr data below. Coq.inria.fr is a web project, safe and generally suitable for all ages. We found that English is the preferred language on Coq Inria pages. Their most used social media is Facebook with about 40% of all user votes and reposts. Coq.inria.fr uses Nginx for server.
Language: |
![]() |
Last check |
coq.inria.fr most visited pages
-
Welcome! | The Coq Proof Assistant
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive developme...
-
Standard Library | The Coq Proof Assistant
Concrete syntax The concrete syntax for strings in scope string_scope follows the Coq convention for strings: all ascii characters of code less than 128 are literals to the exception of the ch...
-
Install Coq with opam | The Coq Proof Assistant
What is opam? Opam is the package manager for the OCaml programming language, the language in which Coq is implemented. Opam 2 is the recommended version, and is assumed below. Instructions on how to ...
Social media reactions
SERVER network INFO
131.254.150.100 | |
Hosting provider: |
Institut National de Recherche en Informatique et Automatique de Rennes |
DOMAIN
Registrar: | AFNIC |
Registrant: | Institut National de Recherche en Informatique et en Automatique |
Updated: | February 01, 2025 |
Expires: | January 01, 1970 |
Created: | January 01, 1995 |
coq.inria.fr is built with
Server: |