パッケージ: matita-doc (0.5.8-2build2) [universe]

matita-doc に関するリンク

Ubuntu の資源:

• バグ報告
• Ubuntu での変更履歴
• 著作権ファイル

matita ソースパッケージをダウンロード:

• [matita_0.5.8-2build2.dsc]
• [matita_0.5.8.orig.tar.gz]
• [matita_0.5.8-2build2.diff.gz]

メンテナ:

• Ubuntu MOTU Developers (メールアーカイブ)

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.

外部の資源:

• ホームページ [matita.cs.unibo.it]

類似のパッケージ:

• matita
• proofgeneral-misc
• proofgeneral-coq
• proofgeneral-minlog
• prover9-mace4
• proofgeneral
• prover9
• cvc3
• prover9-doc
• libcvc3-2
• libcvc3-2-dev

その他の matita-doc 関連パッケージ

• sug: matita

  interactive theorem prover

• sug: yelp

  Help browser for GNOME

matita-doc のダウンロード