Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
openSUSE:Factory:PowerPC
coq
fr.inria.coq.coqide.desktop
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
File fr.inria.coq.coqide.desktop of Package coq
[Desktop Entry] Encoding=UTF-8 Type=Application Name=Coq IDE GenericName=Proof Assistant Comment=Proof Assistant based on the Calculus of Inductive Constructions Categories=Science;Math; MimeType=text/x-coqsrc; Exec=coqide %F Icon=coq
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor
