Skip to content

FStarLang/FStar

About

A Proof-oriented Programming Language

www.fstar-lang.org

Topics

programming-language dependent-types ocaml theorem-proving verification f-sharp proof-assistant smt c-language fstar

Resources

Readme

License

Apache-2.0, Unknown licenses found

Licenses found

Apache-2.0
LICENSE
Unknown
LICENSE-fsharp.txt
Activity
Custom properties

Stars

2.5k stars

Watchers

78 watching

Forks

239 forks
Report repository

Releases 65

v2023.09.03 Latest
Sep 3, 2023
+ 64 releases

Packages

No packages published

Contributors 124

+ 110 contributors

Languages