/fstar-type-checker

An external type-checker for the fstar language

Apache License 2.0Apache-2.0

Stargazers