Sha256: 9ee7e0545585adc1ebe8fd7365e978cbf2d6da18a7424429edaa0c4cb0506aa4
Contents?: true
Size: 937 Bytes
Versions: 68
Compression:
Stored size: 937 Bytes
Contents
# {{ .Spec.Name }}
{{ .Spec.Description -}}
{{- with .Hints }}
{{ . }}
{{ end }}
## 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/coq](https://github.com/exercism/coq) 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!
{{ with .Spec.Credits }}
## Source
{{ . }}
{{ end }}
## Submitting Incomplete Solutions
It's possible to submit an incomplete solution so you can see how others have completed the exercise.
Version data entries
68 entries across 68 versions & 1 rubygems