1

Coq's Vector doesn't have the plethora of theorems that List has. How do people use Vector "in the wild"? Does everyone have their own development? What are some well known "standard libraries" of Coq?

Siddharth Bhat
  • 823
  • 5
  • 15
  • 1
    [This](https://stackoverflow.com/q/42302300/2747511) is strongly related. – Anton Trunov Jan 17 '18 at 18:24
  • Indeed, I had seen that. That asks how to develop a good theory of vectors, though. I am looking for stuff that exists :) – Siddharth Bhat Jan 17 '18 at 18:27
  • 1
    When I see "What is the best or most common practice for someone who doesn't want to roll their own library? " I understand it as "I am looking for stuff that exists". So it seems to me that your question is duplicate. – Anton Trunov Jan 17 '18 at 18:39
  • Depends on your requirements, but math-comp's tuple is a quite complete theory. – ejgallego Jan 17 '18 at 20:17
  • Possible duplicate of [Which vector library to use in coq?](https://stackoverflow.com/questions/42302300/which-vector-library-to-use-in-coq) – Anton Trunov Jan 20 '18 at 10:11

1 Answers1

0

I recommend CoLoR http://color.inria.fr/ (there is an OPAM package coq-color)

krokodil
  • 1,326
  • 10
  • 18