- libcoq-mathcomp-ssreflect-pe8h6
- libcoq-stdlib-49fx0
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.
Installed Size: 2.3 MB
Architectures: amd64 arm64