⇦ | proofgeneral [main]
Last updated on: 2021-12-01 02:16 [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:
  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.</p>

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

    <p>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 を対話型証明アシスタントにするメジャーモードで、 様々な定理証明系を用いて形式的数学証明を記述することができます。</p>

    <p>このパッケージは、Coq に対する Proof General のサポートを提供します。 (他にまともにサポートできる証明アシスタントが存在していません。)</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>
  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>
  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.</p>

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