---
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: 64
height: 64
stock: proofgeneral
Launchable:
desktop-id:
- proofgeneral.desktop
