Geeks
jaybosamiya
/
FStar
Verification system for effectful programs
Primary Language
OCaml
Apache License 2.0
Apache-2.0
FStar Home Page
FStar GitHub
Markdown
Readme
0
Issues
1
Stargazer
3
Watchers
Watchers
eemailme
jaybosamiya
Pittsburgh, PA
jhcloos