Mentions légales du service

Skip to content

GitLab

Explore

Sign in

Admin message

GitLab upgrade completed. Current version is 17.8.2.

C

coquelicot

Project information

A Coq formalization of real analysis compatible with the standard library.

731 Commits
10 Branches
16 Tags

README
LICENSE
CHANGELOG
GitLab Pages

Created on

October 18, 2023

Copy SSH clone URLgit@gitlab.inria.fr:pirousse/coquelicot.git
Copy HTTPS clone URLhttps://gitlab.inria.fr/pirousse/coquelicot.git

Loading