Sha256: f464b6337d1163d970851abc750912289a503857c652683fe120e54039f4b074
Contents?: true
Size: 900 Bytes
Versions: 174
Compression:
Stored size: 900 Bytes
Contents
# Tautology Let us start by proving something we already know is true. ## 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! ## Source Coq classics ## Submitting Incomplete Solutions It's possible to submit an incomplete solution so you can see how others have completed the exercise.
Version data entries
174 entries across 174 versions & 1 rubygems