Research group

Programming Languages and Tools Lab

Programs and Proofs: Mechanizing Mathematics with Dependent Types

August 25 — August 29, 2014

School participants

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

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

Materials