- libcoq-elpi-rwjh9
- libcoq-mathcomp-algebra-ns1c5
- libcoq-mathcomp-ssreflect-7sy01
- libcoq-mathcomp-zify-afoe7
This package provides the 'ring' and 'field' tactics for
the Mathematical Components library, that work for any instance
of 'comRingType' and 'fieldType' through canonical structure inference.
.
The Mathematical Components library is a coherent repository of
general-purpose formalized mathematical theories for the
Coq proof assistant.
Installed Size: 828.4 kB
Architectures: arm64 amd64