The Coq mailing list

[Dominique Larchey-Wendling <dominique.larchey-wendling AT loria.fr>]

Quick fix ... project your vector into a list ;-)


----- Mail original -----
> De: "Fritjof Bornebusch" <fritjof AT uni-bremen.de>
> À: "coq-club" <coq-club AT inria.fr>
> Envoyé: Mercredi 20 Mai 2020 17:15:33
> Objet: [Coq-Club] nth element of a vector

> 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.