CoqSat, Feb 15, 2020 | 1600 WordsNix for Coq DevelopmentNix is a great package manager that can be used to control various complex environments easily, such as Coq development with ocaml extraction with various dependencies.