My efforts to binging FStar Language out of INRIA.
This repo and all of it's sub-repos are under construction
- FStar Docs A clone of FStar docs in RTFD
- FStarDocBootstrapper Translates FStar official docs to reStructuredText
-
Notifications
You must be signed in to change notification settings - Fork 0
License
avestura/FStar
About
No description or website provided.
Topics
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published