/fstardoc

Tool for nicely extract documentation for F* files

Primary LanguageF*

Stargazers