English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

The Caml Hump: Coq


A proof assistant.
Homepage ]
Author:Benjamin Werner, Bruno Barras, Christine Paulin-Mohring, Gilles Dowek, Hugo Herbelin, Jean-Christophe Filliâtre, and Judicael Courant.
Last modification date:18-Oct-2010
Development status:Stable
Kind: Applications written in Caml :: Major applications
Applications written in Caml :: Scientific software
License: Open Source :: LGPL
Topic: Science :: Typing
Science :: Maths and Logic