coqide.desktop coq-coqide coq coqide

Coq graphical interface

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

This package provides Coqide, a lightweight IDE for Coq.

coqide.png coqide.png coqide.png coqide.png Development HiDpiIcon application/x-coq LGPL-2.1 https://coq.inria.fr/bugs/ https://coq.inria.fr/documentation https://coq.inria.fr/ https://coq.inria.fr/files/coqide/images/capture3.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-e56010ccb161fb5d65b004fd2da8505e.png https://coq.inria.fr/files/coqide/images/capture4.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png https://coq.inria.fr/files/coqide/images/capture1.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-c140c97d08e9fc60e751a11c74529e69.png https://coq.inria.fr/files/coqide/images/capture5.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png https://coq.inria.fr/files/coqide/images/capture2.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-5155f2fedfceb2cdce8bd07326a20471.png https://coq.inria.fr/files/coqide/images/capture3.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-e56010ccb161fb5d65b004fd2da8505e.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-e56010ccb161fb5d65b004fd2da8505e.png https://coq.inria.fr/files/coqide/images/capture4.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-e8ccc09bedcde4dbce935d225dfc64ff.png https://coq.inria.fr/files/coqide/images/capture1.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-c140c97d08e9fc60e751a11c74529e69.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-c140c97d08e9fc60e751a11c74529e69.png https://coq.inria.fr/files/coqide/images/capture5.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-45175eb5c367fd1b7d64f2aaf19f67a4.png https://coq.inria.fr/files/coqide/images/capture2.jpg http://alt.fedoraproject.org/pub/alt/screenshots/f24/624x351/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/1248x702/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/112x63/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/224x126/coqide-5155f2fedfceb2cdce8bd07326a20471.png http://alt.fedoraproject.org/pub/alt/screenshots/f24/752x423/coqide-5155f2fedfceb2cdce8bd07326a20471.png coq-coqide-8.5pl1-1.fc24.x86_64.rpm