F* Materials - Joint School 2014

Binary release

• https://github.com/FStarLang/FStar/releases/tag/school14.1

Source distribution

• https://github.com/FStarLang/FStar (see INSTALL.md for instructions)

Tutorial text

• http://prosecco.gforge.inria.fr/tutorial.html

Files for day 2

• http://prosecco.gforge.inria.fr/day2.zip
• http://prosecco.gforge.inria.fr/day2.tgz

Slides

• High-level introduction (Nikhil)
• Advanced F* (Nikhil)
• miTLS (Antoine)
• Types for Modular Cryptography (Cedric)