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
My efforts to binging FStar Language out of INRIA.
This repo and all of it's sub-repos are under construction