---
Type: desktop-application
ID: proofgeneral.desktop
Package: proofgeneral
Name:
C: Proof General
Summary:
C: Organise your proofs!
Description:
C: >-
<p>Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs
using a variety of theorem provers.</p>
<p>This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)</p>
en: >-
<p>Proof General is a major mode to turn Emacs into an interactive proof assistant to write formal mathematical proofs
using a variety of theorem provers.</p>
<p>This package provides Proof General support for Coq. (There is no other proof assistant that one could sensibly support.)</p>
Categories:
- IDE
- Development
- TextEditor
- Math
Keywords:
C:
- proof assistant
- ' Coq IDE'
Icon:
cached:
- name: proofgeneral_proofgeneral.png
width: 48
height: 48
- name: proofgeneral_proofgeneral.png
width: 64
height: 64
- name: proofgeneral_proofgeneral.png
width: 128
height: 128
remote:
- url: p/pr/proofgeneral.desktop/3deedff42e05217b69784f533cd91139/icons/128x128/proofgeneral_proofgeneral.png
width: 128
height: 128
stock: proofgeneral
Launchable:
desktop-id:
- proofgeneral.desktop
