[Desktop Entry] Name=CoqIDE Proof Assistant Comment=Graphical interface for the Coq proof assistant Exec=coqide Type=Application Categories=Development;Science;Math;IDE;GTK; Terminal=false Icon=coqide