phase/learning-coq

Test documents while learning how to use Coq

learning Coq

These are my test documents while learning how to use Coq, a proof assistant.

• tutorial-mike-nahas.v follows Mike Nahas' Coq Tutorial.