Revision as of 22:57, 27 November 2014 by Chritcu (talk | contribs) (Chritcu moved page F* Materials to F* Materials - Joint School 2014)

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

F* Materials - Joint School 2014

From prosecco

Contents

1 Binary release
2 Source distribution
3 Tutorial text
4 Files for day 2

Binary release

https://github.com/FStarLang/FStar/releases/tag/school14.1

Source distribution

https://github.com/FStarLang/FStar (see INSTALL.md for instructions)

Tutorial text

http://prosecco.gforge.inria.fr/tutorial.html

Files for day 2

Retrieved from "https://wiki.inria.fr/wikis/prosecco/index.php?title=F*_Materials_-_Joint_School_2014&oldid=280"