Package : coq-ide

Package details

Summary: The Coq Integrated Development Interface

Description:
The Coq Integrated Development Interface is a graphical interface for the
Coq proof assistant.


URL: http://coq.inria.fr
License: LGPLv2

Maintainer: nobody

List of RPMs