coq-ide
IDE for The Coq Proof Assistant

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

LGPL-2.1-only

To download packages, you need to log in and have a valid subscription.

Please select a product to see the available package versions:

Loading package downloads...