Geeks
hsenag
/
FStar
Verification system for effectful programs
Primary Language
F*
Apache License 2.0
Apache-2.0
FStar Home Page
FStar GitHub
Markdown
Readme
0
Issues
0
Stargazers
2
Watchers
Watchers
jhcloos
eemailme