The summer school "Programs and Proofs: Mechanizing Mathematics with
Dependent Types", which took place in August 2014 in Saint-Petersburg
State University, is now over, so the solutions for the exercises are
removed from the public access.

<br>

Please, mail me if you want me to send you the archive with the files.

<br><br>

Kind regards,
<br>
Ilya