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

From prosecco
(Slides)
 
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 =

Latest revision as of 12:21, 18 January 2015