The version released for the start of the F* course in Saarbrucken in March 2015
Pre-release
Pre-release
·
36864 commits
to master
since this release
This is a binary package that includes the F* typechecker bootstrapped in OCaml.