Difference between revisions of "F* Materials - Joint School 2014"

From prosecco
 
(2 intermediate revisions by the same user not shown)
Line 6: Line 6:
  
 
= Tutorial text =
 
= Tutorial text =
* http://prosecco.gforge.inria.fr/tutorial.html
+
* 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 12:21, 18 January 2015