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

USER RATINGS

Website is generally safe

Trustworthiness:	Excellent
Child safety:	Unknown

Learn more

Websites to check

Recently Analyzed

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.

Visit coq.inria.fr

Language:	English
Last check	19 days ago

coq.inria.fr most visited pages

Installing the Rocq Prover and its packages · Rocq Documentation

This page will help you get started using opam to install the Rocq Prover and its packages.
Welcome to a World of Rocq

Rocq is a general-purpose, industrial-strength interactive theorem prover.

Syntax extensions and interpretation scopes — Coq 8.10.1 documentation

A typical notation is the use of the infix symbol /\ to denote the logical conjunction (and). Such a notation is declared by Notation "A /\ B" := (and A B). The expression "A /\ B" (called a notati...

Social media reactions

SERVER network INFO

coq.inria.fr

	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:

Nginx