Introduction:  

* tactics-examples.v

Exercises:

* listy.v
* pigeon.v

More exercises:

* coqITP2015-ex2.v (read and/or complete)
* coqITP2015-ex3.v:
  try to do the exercises in this order:
  a) Exercise 1
  b) Exercise 2 - Q7, Q8, Q9
  c) Exercise 5
  d) Exercise 4  

Tutorial:

* Coq in a Hurry

Exercises listy.v and pigeon.v come from
https://www.ps.uni-saarland.de/~smolka/drafts/icl2021.pdf

Exercises in coqITP2015-ex2.v and coqITP2015-ex3.v come from 
https://coq.inria.fr/coq-itp-2015