Library Coq.Vectors.Vector


Vectors.
Author: Pierre Boutillier Institution: PPS, INRIA 12/2010
Originally from the contribution bit vector by Jean Duprat (ENS Lyon).
Based on contents from Util/VecUtil of the CoLoR contribution

Require Fin.
Require VectorDef.
Require VectorSpec.
Require VectorEq.
Include VectorDef.
Include VectorSpec.
Include VectorEq.