Jerry James 13c9cab
cbe14a3
<component type="desktop">
cbe14a3
 <id>coqide.desktop</id>
cbe14a3
 <metadata_license>CC0-1.0</metadata_license>
cbe14a3
 <project_license>LGPL-2.1</project_license>
cbe14a3
 <name>coqide</name>
9a656d1
 <summary>Coq graphical interface</summary>
Jerry James 13c9cab
 <description>
Jerry James 13c9cab
  

Jerry James 13c9cab
   Coq is a formal proof management system. It allows for the development of
Jerry James 13c9cab
   theorems through first order logic that are mechanically checked by the
Jerry James 13c9cab
   machine.  Sets of definitions and theorems can be saved as compiled modules
Jerry James 13c9cab
   and loaded into the system.
Jerry James 13c9cab
  

Jerry James 13c9cab
  

Jerry James 13c9cab
   This package provides Coqide, a lightweight IDE for Coq.
Jerry James 13c9cab
  

Jerry James 13c9cab
 </description>
Jerry James 13c9cab
 <screenshots>
cbe14a3
  <screenshot type="default">
cbe14a3
   <image>https://coq.inria.fr/files/coqide/images/capture1.jpg</image>
cbe14a3
   <caption>Tactic list</caption>
cbe14a3
  </screenshot>
cbe14a3
  <screenshot>
cbe14a3
   <image>https://coq.inria.fr/files/coqide/images/capture2.jpg</image>
cbe14a3
   <caption>Template list</caption>
cbe14a3
  </screenshot>
cbe14a3
  <screenshot>
cbe14a3
   <image>https://coq.inria.fr/files/coqide/images/capture3.jpg</image>
cbe14a3
   <caption>Query list</caption>
cbe14a3
  </screenshot>
cbe14a3
  <screenshot>
cbe14a3
   <image>https://coq.inria.fr/files/coqide/images/capture4.jpg</image>
cbe14a3
   <caption>Query result</caption>
cbe14a3
  </screenshot>
cbe14a3
  <screenshot>
cbe14a3
   <image>https://coq.inria.fr/files/coqide/images/capture5.jpg</image>
cbe14a3
   <caption>Tactics wizard</caption>
cbe14a3
  </screenshot>
Jerry James 13c9cab
 </screenshots>
cbe14a3
 <update_contact>loganjerry@gmail.com</update_contact>
9a656d1
 <url type="homepage">https://coq.inria.fr/</url>
cbe14a3
 <url type="bugtracker">https://coq.inria.fr/bugs/</url>
b928f27
 <url type="help">https://coq.inria.fr/documentation</url>
cbe14a3
</component>