coq

Project information

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 development of machine-checked proofs.

46,126 Commits
568 Branches
81 Tags

README
GNU LGPLv2.1
CONTRIBUTING

Created on

November 21, 2017

Loading