coq-pipes
coq-pipes copied to clipboard
Published
20 hours ago •
jwiegley
jwiegley
Results
1
coq-pipes issues
Sort by
recently updated
recently updated
newest added
Would it makes sense to distribute `coq-pipes` on the [OPAM repository for Coq](http://coq.io/opam/)? The OPAM package manager makes it easier to install Coq libraries, by automatically downloading and installing the...
