We have some news to share for the request index beta feature. We’ve added more options to sort your requests, counters to the individual filters and documentation for the search functionality. Checkout the blog post for more details.

Overview

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
openSUSE Build Service is sponsored by
Places