fstar

An ML-like language with a type system for program verification.
Description
Install
Published
08 Sep 2016
Sources
v0.9.3.0-beta1.tar.gz
md5=92187cfb75b224ca6e830a1e5a0bbbc4
Dependencies
Reverse Dependencies