coq-ide

coq-ide

IDE for The Coq Proof Assistant

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

Er is geen officieel pakket voor openSUSE Leap 16.0 beschikbaar

Distributies

openSUSE Tumbleweed

officiële uitgave Officieel
8.20.1
Expert Download

SLFO 1.2

Niet-ondersteunde distributies

Volgende distributies worden niet officieel ondersteund. Gebruik deze pakketten op eigen risico.