Programs and Proofs: Mechanizing Mathematics with Dependent Types

25-29 August 2014

5661b94696082.jpg

Instructor: Ilya Sergey, IMDEA Software Institute, Madrid, Spain.

School synopsis is available at the Russian version of this page.

Resources