- libcoq-bignums-igo98
- libcoq-stdlib-p29e7
This library provides abstract interfaces for mathematical
structures for Coq, such as:
- algebraic hierarchy (groups, rings, fields, ...)
- relations, orders, ...
- Categories, functors, universal algebra, ...
- Numbers: N, Z, Q, ...
- Operations (shift, power, abs, ...).
.
Coq is a proof assistant for higher-order logic.
Installed Size: 10.7 MB
Architectures: arm64 amd64