https://github.com/jaybosamiya/fstardoc

Tool for nicely extract documentation for F* files
https://github.com/jaybosamiya/fstardoc

Last synced: 4 months ago
JSON representation

Tool for nicely extract documentation for F* files

• Host: GitHub
• URL: https://github.com/jaybosamiya/fstardoc
• Owner: jaybosamiya
• Created: 2019-10-09T15:23:53.000Z (almost 7 years ago)
• Default Branch: master
• Last Pushed: 2020-05-11T04:58:30.000Z (about 6 years ago)
• Last Synced: 2025-04-06T23:45:49.443Z (over 1 year ago)
• Language: F*
• Size: 85.9 KB
• Stars: 2
• Watchers: 2
• Forks: 1
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# fstardoc [![Build Status](https://travis-ci.org/jaybosamiya/fstardoc.svg?branch=master)](https://travis-ci.org/jaybosamiya/fstardoc)

A tool for nicely extract documentation for F* files

## How to Run

```

python3 fstardoc.py {path to fst/fsti file}

```