[ 源代码: coq-stdpp ]
软件包:libcoq-stdpp(1.10.0-2 以及其他的)
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 datastructures 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-cw0z4 [arm64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-f88b8 [ppc64el]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-orhs4 [amd64]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-qzv05 [s390x]
- 本虚包由这些包填实: libcoq-stdlib
-
- dep: libcoq-stdlib-wfue2 [riscv64]
- 本虚包由这些包填实: libcoq-stdlib