Check Welcome! | The Coq Proof Assistant Online visit the most interesting Coq Inria pages, well-liked by users from China, or check the rest of data below. 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. uses Apache HTTP Server.

Language: English language flag English
Last check most visited pages

  • 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 ...

  • 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...

  • 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...

Social media reactions


Hosting provider:



Registrar: AFNIC
Registrant: Institut National de Recherche en Informatique et en Automatique
Updated: January 01, 2022
Expires: January 01, 1970
Created: January 01, 1995 is built with

Server: Apache HTTP Server