fstar

An ML-like language with a type system for program verification.
Description
Install
Published
11 Jul 2017
Authors
Maintainers
Sources
schoolNancy17.tar.gz
md5=447509105caade0631e9031ca0827228
Dependencies
Reverse Dependencies