[ experimental ]
[ ソース: ssreflect ]
パッケージ: mathcomp-doc (2.5.0-2)
mathcomp-doc に関するリンク
Debian の資源:
ssreflect ソースパッケージをダウンロード:
メンテナ:
- Debian OCaml Maintainers (QA ページ, メールアーカイブ)
- Stéphane Glondu (QA ページ)
- Julien Puydt (QA ページ)
- Ralf Treinen (QA ページ)
外部の資源:
- ホームページ [math-comp.github.io]
類似のパッケージ:
試験的な (experimental の) パッケージ
警告: このパッケージは experimental ディストリビューションのものです。つまり、おそらく不安定でバグがあり、それどころかデータの損失を起こすかもしれません。使用前には、変更履歴やその他の参照可能なドキュメントを必ず調べてください。
Mathematical Components library for Coq (doc)