coq-stdlibversion

The Coq Proof Assistant -- Standard Library

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.

Typical applications include the certification of properties of programming languages (e.g. the CompCert compiler certification project, or the Bedrock verified low-level programming library), the formalization of mathematics (e.g. the full formalization of the Feit-Thompson theorem or homotopy type theory) and teaching.

This package includes the Coq Standard Library, that is to say, the set of modules usually bound to the Coq.* namespace.

AuthorThe Coq development team, INRIA, CNRS, and contributors
LicenseLGPL-2.1-only
Published
Homepagehttps://coq.inria.fr/
Issue Trackerhttps://github.com/coq/coq/issues
MaintainerThe Coq development team <coqdev@inria.fr>
Dependencies
Optional dependencies
Source [http] https://github.com/coq/coq/releases/download/V8.19.0/coq-8.19.0.tar.gz
md5=64b49dbc3205477bd7517642c0b9cbb6
sha512=02fb5b4fb575af79e092492cbec6dc0d15a1d74a07f827f657a72d4e6066532630e5a6d15be4acdb73314bd40b9a321f9ea0584e0ccfe51fd3a56353bd30db9b
Edithttps://github.com/ocaml/opam-repository/tree/master/packages/coq-stdlib/coq-stdlib.8.19.0/opam
Required by