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.

Kind regards,