项目作者： avestura

项目描述：
Translates FStar official docs to reStructuredText

高级语言： F#

项目主页：

项目地址: git://github.com/avestura/FStarDocBootstrapper.git

创建时间： 2019-01-16T20:50:01Z
项目社区：https://github.com/avestura/FStarDocBootstrapper
开源协议：MIT License
下载

FStar Doc Bootstrapper

Translates FStar official docs to reStructuredText

This repo is a part of FStar efforts

Not yet complete. Under heavy construction.