Difference between revisions of "F* Materials - Joint School 2014"
From prosecco
(→Slides) |
|||
Line 6: | Line 6: | ||
= Tutorial text = | = Tutorial text = | ||
− | * | + | * https://www.fstar-lang.org/tutorial |
= Files for day 2 = | = Files for day 2 = |
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)