Package : coq-doc

Package details

Summary: Documentation for coq

Description:
The coq-doc package contains documentation for coq.


URL: https://coq.inria.fr
License: Open Publication License

Maintainer: nobody

List of RPMs