» 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 (郵件存檔)
  • 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 [文件列表]