Versions

Repository

https://github.com/0xaryan/FStarDocs

Project Slug

fstar

Last Built

3 years ago passed

Maintainers

Home Page

http://fstar-lang.org

Badge

Tags

fstar

Short URLs

fstar.readthedocs.io
fstar.rtfd.io

Default Version

latest

'latest' Version

master