/fstar-interactive

An F* interactive mode for the atom editor

Primary LanguageJavaScriptMIT LicenseMIT

Stargazers