全部搜索项
squeeze  ]
[ 源代码: matita  ]

软件包: matita-doc (0.5.8-2)

matita-doc 的相关链接

Screenshot

Debian 的资源:

下载源码包 matita:

维护小组:

外部的资源:

相似软件包:

user manual of the Matita interactive theorem prover

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

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

  • 依赖
  • 推荐
  • 建议
  • enhances

下载 matita-doc

下载可用于所有硬件架构的
硬件架构 软件包大小 安装后大小 文件
all 1,631.4 kB2,552.0 kB [文件列表]