https://github.com/avestura/fstar

https://github.com/avestura/fstar

collection fstar

Last synced: 4 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/avestura/fstar
• Owner: avestura
• License: mit
• Created: 2019-01-15T01:51:48.000Z (over 7 years ago)
• Default Branch: dev
• Last Pushed: 2020-07-25T20:37:32.000Z (almost 6 years ago)
• Last Synced: 2025-10-25T15:44:42.438Z (8 months ago)
• Topics: collection, fstar
• Homepage:
• Size: 3.91 KB
• Stars: 2
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

README

          
# FStar

My efforts to binging [FStar Language](http://fstar-lang.org) out of INRIA.

**This repo and all of it's sub-repos are under construction**

- [FStar Docs](https://github.com/avestura/FStarDocs) A clone of FStar docs in RTFD

- [FStarDocBootstrapper](https://github.com/avestura/FStarDocBootstrapper) Translates FStar official docs to reStructuredText