软件包: proofgeneral-misc (3.7-4) [universe]

proofgeneral-misc 的相关链接

Ubuntu 的资源:

• 报告问题
• Ubuntu Changelog
• 版权文件

下载源码包 proofgeneral:

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

维护者:

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

外部的资源:

• 主页 [proofgeneral.inf.ed.ac.uk]

相似软件包:

• proofgeneral-coq
• proofgeneral-minlog
• proofgeneral
• proofgeneral-doc
• matita
• libladr-dev
• libladr4
• prover9
• cvc3
• eprover
• ladr4-apps

其他与 proofgeneral-misc 有关的软件包

• dep: proofgeneral

  generic interface for proof assistants - common package

下载 proofgeneral-misc