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

Links for proofgeneral-minlog

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-coq
• proofgeneral-misc
• proofgeneral
• proofgeneral-doc
• minlog
• agda-bin
• coqide
• why
• haskell-agda-doc
• agda-stdlib
• agda-stdlib-doc

Other Packages Related to proofgeneral-minlog

• dep: mzscheme (>= 300)

  Package not available

  or guile-1.8

  GNU extension language and Scheme interpreter

  or guile

  virtual package provided by guile-1.6, guile-1.8, guile-2.0

• dep: proofgeneral

  generic interface for proof assistants - common package

• rec: minlog

  Proof assistant based on first order natural deduction calculus

Download proofgeneral-minlog