Sha256: a60d5b97ac6d14ea4fdf21224740f29826c6e9c920c765785223b77949f8132a
Contents?: true
Size: 688 Bytes
Versions: 36
Compression:
Stored size: 688 Bytes
Contents
## Getting Started For installation and learning resources, refer to the [exercism help page](http://exercism.io/languages/coq). ## Checking the solution (testing everything) To see if your solution works you just need to compile every file. ```bash coqc *.v ``` There is no additional testing step needed as we can offload all testing to the type checker! ## Feedback, Issues, Pull Requests The [exercism/xcoq](https://github.com/exercism/xcoq) repository on GitHub is the home for all of the Coq exercises. If you have feedback about an exercise, or want to help implementing a new one, head over there and create an issue. We'll do our best to help you!
Version data entries
36 entries across 36 versions & 1 rubygems