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