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.
Please, mail me if you want me to send you the archive with the files.