How to run Coq on students:

* coqide file.v


Introduction:  

* CoqSurvivalKit.pdf
  (use lia instead of omega)

Exercises:

* logic.v
* functions.v
* coqITP2015_ex1.v 


Exercise coqITP2015_ex1.v comes from 

https://coq.inria.fr/coq-itp-2015

Attention: the solution is also there !

Exercises in logic.v and functions.v come from 
http://www.labri.fr/perso/casteran/FM/Logique/