- libcoq-aac-tactics-zjtt7
- libcoq-mathcomp-ssreflect-pe8h6
- libcoq-stdlib-49fx0
This package provides a library on relation algebras, that
is those admitting heterogeneous binary relations as a model,
ranging from partially ordered monoid to residuated Kleen
allegories and Kleene algebras with tests.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 8.9 MB
Architectures: amd64 arm64