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: https://coq.inria.fr
License: LGPL-2.1-only AND MIT AND BSD-3-Clause
Last packager: papoteur <papoteur>
Description:
The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
URL: https://coq.inria.fr
License: LGPL-2.1-only AND MIT AND BSD-3-Clause
Last packager: papoteur <papoteur>
List of RPMs
- coq-ide-8.16.1-1.mga9.x86_64 Media: Mageia 9 x86_64 Core Release Install