[ bookworm ] [ trixie ] [ sid ]

[ Source: ]

Package: libcoq-deriving (0.1.1-1 and others) [debports]

Links for libcoq-deriving

Debian Resources:

Bug Reports

Download Source Package :

Not found

Maintainers:

External Resources:

Homepage [github.com]

Similar packages:

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.

Other Packages Related to libcoq-deriving

depends

recommends

suggests

enhances

dep: libcoq-mathcomp-ssreflect-ad5z4

virtual package provided by libcoq-mathcomp-ssreflect
dep: libcoq-stdlib-n0k10

virtual package provided by libcoq-stdlib

Download libcoq-deriving

Download for all available architectures
Architecture	Version	Package Size	Installed Size	Files
ppc64 (unofficial port)	0.1.1-1+b1	413.4 kB	1,729.0 kB	[list of files]