coq-ide

IDE for The Coq Proof Assistant

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

Není dostupný žádný oficiální balíček pro openSUSE Leap 16.0

oficiální vydání Oficiální

8.20.1

science Experimentální

8.20.1

home:lalala123:arm64_succeed_pro Komunita

8.20.1

science Experimentální

8.20.1

science Experimentální

8.20.1

science Experimentální

8.20.1

Následující distribuce nejsou oficiálně podporovány. Použijte tyto balíčky na vlastní nebezpečí.

8.13.2

8.13.2

8.19.1

8.19.1

8.18.0

8.18.0