Coq IDE

Категории: ComputerScience Development IDE Math Science

IDE for The Coq Proof Assistant

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

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

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

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

science

8.20.1

8.18.0

8.18.0