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