Coq的Vector没有List所拥有的过多定理。人们如何“在野外”使用Vector？每个人都有自己的发展吗？ Coq有哪些众所周知的“标准库”？
Vector
List
我推荐CoLoR http://color.inria.fr/（有一个OPAM包coq-color）
coq-color