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