» Ubuntu » 软件包 » precise (12.04LTS) » editors » proofgeneral-misc
lucid  ] [  precise  ]
[ 源代码: proofgeneral  ]

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

proofgeneral-misc 的相关链接

Screenshot

Ubuntu 的资源:

下载源码包 proofgeneral:

维护者:

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]

相似软件包:

generic interface for proof assistants - theorem provers support

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

  • 依赖
  • 推荐
  • 建议
  • enhances
  • dep: proofgeneral
    generic interface for proof assistants - common package

下载 proofgeneral-misc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 138.8 kB732.0 kB [文件列表]