coq
Coq is a formal proof management system
Installation
To install this package, run one of the following:
Usage Tracking
8.12.2
8.12.0
8.11.2
8.11.1
8.11.0
5 / 8 versions selected
Downloads (Last 6 months): 0
About
Summary
Coq is a formal proof management system
Last Updated
Dec 27, 2020 at 21:43
License
LGPL-2.1-only
Total Downloads
77.3K
Supported Platforms
linux-64
macOS-64
Home
https://coq.inria.frGitHub Repository
https://github.com/coq/coqDocumentation
https://coq.inria.fr/documentation