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