Package: proofgeneral-coq (3.7-4) [universe]

Links for proofgeneral-coq

Ubuntu Resources:

• Bug Reports
• Ubuntu Changelog
• Copyright File

Download Source Package proofgeneral:

• [proofgeneral_3.7-4.dsc]
• [proofgeneral_3.7.orig.tar.gz]
• [proofgeneral_3.7-4.diff.gz]

Maintainer:

• Ubuntu MOTU Developers (Mail Archive)

Please consider filing a bug or asking a question via Launchpad before contacting the maintainer directly.

Original Maintainer (usually from Debian):

• Debian QA Group

It should generally not be necessary for users to contact the original maintainer.

External Resources:

• Homepage [proofgeneral.inf.ed.ac.uk]

Similar packages:

• proofgeneral-minlog
• proofgeneral-misc
• proofgeneral
• proofgeneral-doc
• coq
• coqide
• why
• agda-bin
• why-examples
• haskell-agda-doc
• libghc6-agda-dev

Other Packages Related to proofgeneral-coq

• dep: proofgeneral

  generic interface for proof assistants - common package

• rec: coq

  proof assistant for higher-order logic (toplevel and compiler)

Download proofgeneral-coq