Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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