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/ |