- libcoq-mathcomp-ssreflect-st8x3
- libcoq-stdlib-cw0z4
This package provides definitions and verified translations
between different representations of regular languages
for Coq: miscellaneous automata, regular expressions,
WS1S logic. It also contains various decidability results
and closure properties of regular languages.
.
Coq is a proof assistant for higher-order logic.
Installed Size: 3.0 MB
Architectures: arm64 amd64