[ ソース: coq-deriving ]
パッケージ: libcoq-deriving (0.2.0-3 など)
libcoq-deriving に関するリンク
Debian の資源:
coq-deriving ソースパッケージをダウンロード:
メンテナ:
外部の資源:
- ホームページ [github.com]
類似のパッケージ:
deriving MathComp classes from inductive types
This package builds instances of MathComp classes with little boilerplate, mimicking Haskell's deriving facility.
MathComp is a mathematical library for Coq.
Coq is a proof assistant for higher-order logic.
その他の libcoq-deriving 関連パッケージ
|
|
|
|
-
- dep: libcoq-mathcomp-ssreflect-2ms03
- 以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
-
- dep: libcoq-stdlib-wfue2
- 以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib