⇦ | proofgeneral [xenial]
Last updated on: 2016-11-16 10:56:06 UTC

DEP-11 metadata for proofgeneral in xenial

proofgeneral.desktop ⚙ amd64 ⚙ armhf ⚙ i386 ⚙ s390x ⚙ arm64 ⚙ ppc64el ⚙ powerpc

Icon
---
Categories:
  - Application
  - IDE
  - Development
  - TextEditor
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>
  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'è nessun altro assistente alla dimostrazione
    che si possa sensatamente supportare.)</p>
ID: proofgeneral.desktop
Icon:
  cached: proofgeneral_proofgeneral.png
Name:
  C: Proof General
Package: proofgeneral
Summary:
  C: Organise your proofs!
Type: desktop-app