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.



Maintainer: nobody

List of RPMs

    No RPM found for coq-ide using the current filters, try other values.