Difference between revisions of "F* Materials - Joint School 2014"
From prosecco
(→Slides) |
|||
| Line 16: | Line 16: | ||
* [http://prosecco.gforge.inria.fr/tutorial.html#sec-state-and-other-effects Advanced F*] (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) | * [https://wiki.inria.fr/wikis/prosecco/images/2/28/Mitls.pdf miTLS] (Antoine) | ||
| − | * Types for Modular Cryptography (Cedric) | + | * [https://wiki.inria.fr/wikis/prosecco/images/8/86/CryptoTyping.pdf Types for Modular Cryptography] (Cedric) |
Revision as of 10:02, 2 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)
