Metadata for proofgeneral in main

---
Type: desktop-application
ID: proofgeneral.desktop
Package: proofgeneral
Name:
  C: Proof General
Summary:
  C: Organise your proofs!
Description:
  fr: |-
    <p>« Proof General » est un mode majeur d&apos;Emacs pour le transformer en système d’assistant de preuves
    interactif afin d&apos;écrire des preuves mathématiques formelles en utilisant toute une variété de théorèmes.
    Ce paquet fournit la prise en charge de Proof General pour Coq. (Il n’existe pas d’autres assistant de
    preuve pouvant être raisonnablement pris en charge.)</p>
  pl: |-
    <p>Proof General jest głównym trybem przekształcania Emacsa w interaktywny system dowodzenia twierdzeń,
    który służy do pisania formalnych dowodów matematycznych przy użyciu różnych narzędzi asystujących użytkownikowi
    przy przeprowadzaniu dowodu. Ten pakiet zapewnia wsparcie Proof General dla Coq (brak innego systemu
    dowodzenia twierdzeń, który mógłby zapewniać odpowiednie wsparcie).</p>
  de: |-
    <p>Der »Major Mode« Proof General verwandelt Emacs in einen interaktiven Beweisassistenten, um mithilfe
    verschiedener Theorembeweiser formale mathematische Beweise zu schreiben. Mit diesem Paket unterstützt
    Proof General Coq. (Es gibt keinen anderen Beweisassistenten, den man sinnvoll unterstützen kann.)</p>
  ja: |-
    <p>Proof General は、Emacs を対話型証明アシスタントにするメジャーモードで、 様々な定理証明系を用いて形式的数学証明を記述することができます。 このパッケージは、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. Questo pacchetto
    fornisce a Proof General la gestione per Coq. (Non c&apos;è nessun altro assistente alla dimostrazione
    che si possa sensatamente supportare.)</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. 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. This package provides Proof General support for Coq. (There
    is no other proof assistant that one could sensibly support.)</p>
  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. Denne pakke tilbyder Proof General-understøttelse
    for Coq. (Der er ingen andre bevisassistenter som man med fornuft kan understøtte).</p>
Categories:
- IDE
- Development
- TextEditor
- Math
Keywords:
  C:
  - proof assistant
  - Coq IDE
Icon:
  cached:
  - name: proofgeneral_proofgeneral.jxl
    width: 48
    height: 48
  - name: proofgeneral_proofgeneral.jxl
    width: 64
    height: 64
  - name: proofgeneral_proofgeneral.jxl
    width: 128
    height: 128
  remote:
  - url: p/pr/proofgeneral.desktop/3deedff42e05217b69784f533cd91139/icons/128x128/proofgeneral_proofgeneral.jxl
    width: 128
    height: 128
  stock: proofgeneral
Launchable:
  desktop-id:
  - proofgeneral.desktop