### Add solutions of the exercises.

Showing

**solutions/Makefile**0 → 100644

**solutions/Makefile.coq**0 → 100644

This diff is collapsed.

**solutions/Makefile.coq.conf**0 → 100644

**solutions/ProofMode.md**0 → 100644

This diff is collapsed.

**solutions/README.md**0 → 100644

**solutions/_CoqProject**0 → 100644

**solutions/ex_01_swap.v**0 → 100644

**solutions/ex_02_sumlist.v**0 → 100644

**solutions/ex_03_spinlock.v**0 → 100644