- libcoq-aac-tactics-bd7p7
- libcoq-mathcomp-ssreflect-ga8c0
- libcoq-stdlib-1ns11
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.1 MB
Architectures: arm64 amd64