Podnova Player  Windows library  Podnova home
HomeDevelopment › Coq
Coq

Coq

By Coq Development Team
Rating: 3 3/5 (1)
License type: Freeware
Home page: coq.inria.fr
Latest version: 8.4
Last updated: January 25th, 2012
Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive...
Download: https://coq.inria.fr
Downloaded 8 times