The Coq mailing list

[Frédéric Blanqui <frederic.blanqui AT inria.fr>]

Hello. You can find this function together with various lemmas in 
http://color.inria.fr/ . See 
https://github.com/fblanqui/color/blob/1f1cd5e05bc193d121e78091a5817213ddbe41af/Util/Vector/VecUtil.v#L238-L246 
. Best regards, Frédéric.

Le 20/05/2020 à 17:15, Fritjof Bornebusch a écrit :
> Hi there,
>
> I'm looking for a function that iterates over a vector - 
> https://coq.inria.fr/library/Coq.Vectors.Vector.html - and returns
> the Zth element, like the nth element of a list.
>
> The library function only dealy with the Fin.t type, but I need Z.
> Does anyone has a suggestion or hint?
>
> Best Regards,
> --f.