[ bianca ]

[ ソース: coq-deriving ]

パッケージ: libcoq-deriving (0.2.1-1 など)

libcoq-deriving に関するリンク

eLxr パッチ追跡システム

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 関連パッケージ

依存

推奨

提案

enhances

dep: libcoq-mathcomp-ssreflect-08jv4

以下のパッケージによって提供される仮想パッケージです: libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-68yx1

以下のパッケージによって提供される仮想パッケージです: libcoq-stdlib

libcoq-deriving のダウンロード

すべての利用可能アーキテクチャ向けのダウンロード
アーキテクチャ	バージョン	パッケージサイズ	インストールサイズ	ファイル
amd64	0.2.1-1+b7	482.2 kB	1,838.0 kB	[ファイル一覧]