Version française
Home     About     Download     Resources     Contact us    

The Caml Hump: Coq

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
Version:8.3
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
Homepage:http://coq.inria.fr/