» Ubuntu » 软件包 » lucid (10.04LTS) » doc » matita-doc
lucid  ] [  precise  ]
[ 源代码: matita  ]

软件包: matita-doc (0.5.8-2build2) [universe]

matita-doc 的相关链接


Ubuntu 的资源:

下载源码包 matita:


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

Original Maintainers (usually from Debian):

  • Debian OCaml Maintainers (Mail Archive)
  • Enrico Tassi
  • Stefano Zacchiroli

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



user manual of the Matita interactive theorem prover

This package contains the PDF and HTML formatted Matita user manual.

其他与 matita-doc 有关的软件包

  • 依赖
  • 推荐
  • 建议
  • enhances
  • sug: matita
    interactive theorem prover
  • sug: yelp
    Help browser for GNOME

下载 matita-doc

硬件架构 软件包大小 安装后大小 文件
all 1,200.5 kB2,100.0 kB [文件列表]