- libcoq-stdlib-tgae0
This package provides big numbers (natural numbers,
integers and rationals) in Coq, as BigN, BigZ and BigQ,
which used to be part of the standard library.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 7.8 MB
Architectures: arm64 amd64