Difference between revisions of "F* Materials - Joint School 2014"
From prosecco
(Created page with "= Binary release = * https://github.com/FStarLang/FStar/releases/tag/school14.1 = Source distribution = * https://github.com/FStarLang/FStar (see [https://github.com/FStarLan...") |
|||
(3 intermediate revisions 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 = | ||
* 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) | ||
+ | * [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)