/FStar

An ML-like language with a type system for program verification

Primary LanguageF#Apache License 2.0Apache-2.0

No issues in this repository yet.