Difference between revisions of "F* Materials - Joint School 2014"
From prosecco
(One intermediate revision by the same user not shown) | |||
Line 6: | Line 6: | ||
= Tutorial text = | = Tutorial text = | ||
− | * | + | * https://www.fstar-lang.org/tutorial |
= Files for day 2 = | = Files for day 2 = | ||
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) |
Latest revision as of 13:21, 18 January 2015
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)