coq-ide

IDE for The Coq Proof Assistant

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

Для openSUSE Leap 16.0 нет официального пакета

официальный выпуск Официальные

8.20.1

science Экспериментальный

8.20.1

home:lalala123:arm64_succeed_pro Сообщество

8.20.1

science Экспериментальный

8.20.1

science Экспериментальный

8.20.1

science Экспериментальный

8.20.1

Следующие дистрибутивы не имеют официальной поддержки. Используйте их пакеты на свой страх и риск.

8.13.2

8.13.2

8.19.1

8.19.1

8.18.0

8.18.0