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...") |
m (Chritcu moved page F* Materials to F* Materials - Joint School 2014) |
(No difference)
|
Revision as of 22:57, 27 November 2014
Binary release
Source distribution
- https://github.com/FStarLang/FStar (see INSTALL.md for instructions)