all options
squeeze  ]
[ Source: proofgeneral  ]

Package: proofgeneral-coq (3.7-4)

Links for proofgeneral-coq

Screenshot

Debian Resources:

Download Source Package proofgeneral:

Maintainer:

External Resources:

Similar packages:

interface genérica para assistentes de prova - suporte a coq

Proof General é um modo principal para tornar o emacs num assistente de prova interativo para escrever provas matemáticas formais usando uma variedade de provadores de teoremas. Funciona tanto no XEmacs quanto no GNU Emacs.

Este pacote fornece suporte do Proof General para o provador de teorema Coq que está disponível como outro pacote. Entretanto, o pacote não é necessário para simplesmente editar arquivos Coq.

Tags: Field: Mathematics, User Interface: Command Line, Role: Plugin, Application Suite: Emacs, Purpose: Checking

Other Packages Related to proofgeneral-coq

  • depends
  • recommends
  • suggests
  • enhances

Download proofgeneral-coq

Download for all available architectures
Architecture Package Size Installed Size Files
all 70.8 kB336.0 kB [list of files]