⇦ | proofgeneral [main]
Last updated on: 2023-11-14 08:15 [UTC]

Metadata for proofgeneral in main

proofgeneral.desktop - 4.4.1~pre170114-1.2 ⚙ all

Icon
---
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