软件包：libcoq-stdpp（1.10.0-1 以及其他的）

[ 源代码： coq-stdpp  ]

Extended standard library for Coq

This package provides an extended standard library for Coq, for instance:

 - a great number of definitions and lemmas for common data

structures like lists, finite maps and finite multisets ;

 - type classes for common properties like decidable equality,

finiteness or countability ;

 - various tactics for common tasks ;

all of this dependency-free and axiom-free.

Coq is a proof assistant for higher-order logic.

其他与 libcoq-stdpp 有关的软件包

• dep: libcoq-stdlib-rhfg4

  本虚包由这些包填实： libcoq-stdlib

下载 libcoq-stdpp

下载可用于所有硬件架构的

硬件架构	版本	软件包大小	安装后大小	文件
armhf	1.10.0-1+b1	4,614.4 kB	17,750.0 kB	[文件列表]