Geeks
zenprotocol
/
FStar
An ML-like language aimed at program verification
Primary Language
OCaml
Apache License 2.0
Apache-2.0
FStar Home Page
FStar GitHub
Markdown
Readme
0
Issues
6
Stargazers
3
Watchers
Stargazers
cloudydata
United States
cwgoes
γαλαξίας κύκλος
micrub
SunDrez
Canada
thecryptochef
vietlq
United Kingdom