Metadata for proofgeneral in main

---
Type: desktop-application
ID: proofgeneral.desktop
Package: proofgeneral
Name:
  C: Proof General
Summary:
  C: Organise your proofs!
Description:
  da: >-
    <p>Proof General er en major-tilstand til at omdanne Emacs til en interaktiv bevisassistent for skrivning af matematiske
    beviser med brug af en række læresætningsbevisere.</p>

    <p>Denne pakke tilbyder Proof General-understøttelse for Coq. (Der er ingen andre bevisassistenter som man med fornuft
    kan understøtte).</p>
  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>
  ja: >-
    <p>Proof General は、Emacs を対話型証明アシスタントにするメジャーモードで、 様々な定理証明系を用いて形式的数学証明を記述することができます。</p>

    <p>このパッケージは、Coq に対する Proof General のサポートを提供します。 (他にまともにサポートできる証明アシスタントが存在していません。)</p>
  it: >-
    <p>Proof General è una modalità principale che trasforma Emacs in un assistente interattivo alla dimostrazione per scrivere
    dimostrazioni matematiche formali usando diversi dimostratori di teoremi.</p>

    <p>Questo pacchetto fornisce a Proof General la gestione per Coq. (Non c&apos;è nessun altro assistente alla dimostrazione
    che si possa sensatamente supportare.)</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>
  de: >-
    <p>Der »Major Mode« Proof General verwandelt Emacs in einen interaktiven Beweisassistenten, um mithilfe verschiedener
    Theorembeweiser formale mathematische Beweise zu schreiben.</p>

    <p>Mit diesem Paket unterstützt Proof General Coq. (Es gibt keinen anderen Beweisassistenten, den man sinnvoll unterstützen
    kann.)</p>
Categories:
- IDE
- Development
- TextEditor
- Math
Keywords:
  C:
  - proof assistant
  - ' Coq IDE'
Icon:
  cached:
  - name: proofgeneral_proofgeneral.png
    width: 64
    height: 64
  - name: proofgeneral_proofgeneral.png
    width: 128
    height: 128