title: Better theory of vectors in Coq?
body: <p>Coq's <code>Vector</code> doesn't have the plethora of theorems that <code>List</code> has. How do people use <code>Vector</code> "in the wild"? Does everyone have their own development? What are some well known "standard libraries" of Coq?</p>