LICENSE · master · THERY Laurent / coqprime · GitLab

Mentions légales du service

La vérification des quotas de chaque projet est mise en place en mode non bloquant. Plus d'information sur : https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656
Quota verification is enabled for projects in non-blocking mode. More information: https://doc-si.inria.fr/pages/viewpage.action?pageId=146834656

coq 8.7 · 4d9f5533

thery authored Oct 31, 2017

git-svn-id: svn+ssh://scm.gforge.inria.fr/svnroot/coqprime@146 4aae0180-a105-0410-8524-f7729f09fccb

4d9f5533

This project is licensed under the GNU Lesser General Public License v2.1 only. Learn more