Difference between revisions of "F* Materials - Joint School 2014"
From prosecco
m (Chritcu moved page F* Materials to F* Materials - Joint School 2014) |
|||
| Line 11: | Line 11: | ||
* http://prosecco.gforge.inria.fr/day2.zip | * http://prosecco.gforge.inria.fr/day2.zip | ||
* http://prosecco.gforge.inria.fr/day2.tgz | * http://prosecco.gforge.inria.fr/day2.tgz | ||
| + | |||
| + | = Slides = | ||
| + | * [https://wiki.inria.fr/wikis/prosecco/images/f/f0/Fstar-school-Nov26-2014.pdf High-level introduction] (Nikhil) | ||
| + | * [http://prosecco.gforge.inria.fr/tutorial.html#sec-state-and-other-effects Advanced F*] (Nikhil) | ||
| + | * [https://wiki.inria.fr/wikis/prosecco/images/2/28/Mitls.pdf miTLS] (Antoine) | ||
| + | * Types for Modular Cryptography (Cedric) | ||
Revision as of 23:12, 1 December 2014
Binary release
Source distribution
- https://github.com/FStarLang/FStar (see INSTALL.md for instructions)
Tutorial text
Files for day 2
Slides
- High-level introduction (Nikhil)
- Advanced F* (Nikhil)
- miTLS (Antoine)
- Types for Modular Cryptography (Cedric)
