- libcoq-stdlib-tgae0 amd64
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: 3.5 MB
Architectures: amd64 arm64