Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
LICENSE		LICENSE
README.md		README.md
wercker-box.yml		wercker-box.yml

Repository files navigation

wercker box for prove-everywhere-server

GHC 7.8.3
cabal-install 1.20.0.3
Coq 8.4pl4

License

BSD3

About

wercker box for prove-everywhere-server

BSD-3-Clause license

Custom properties

Report repository

Releases

No releases published

Packages

Contributors