Installation

https://github.com/FStarLang/FStar/blob/master/INSTALL.md

macOS

$ brew install fstar

$ fstar.exe --version

# Compiling code extracted to OCaml requires Batteries etc:
$ brew install opam
$ opam install batteries zarith stdint

# Compiling code extracted to F# requires Mono:
$ brew install mono

Projects

Libraries

Tools

Tutorials

http://prosecco.gforge.inria.fr/personal/hritcu/teaching/mpri-jan2017/

Talks

System Message: WARNING/2 (<string>, line 65)

Bullet list ends without a blank line; unexpected unindent.

https://jonathan.protzenko.fr/mpri/20170120-protocols/pres.pdf

See Also