Coq IDE
Categories: 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.
There is no official package available for openSUSE Leap 15.6Distributions
openSUSE Tumbleweed
openSUSE Leap 15.6
SLFO_Main
Unsupported distributions
The following distributions are not officially supported. Use these packages at your own risk.