Skip to content

sri-prasanna/FStar

About

An ML-like language with a type system for program verification

Resources

License

Apache-2.0, Unknown licenses found

Licenses found

Apache-2.0
LICENSE
Unknown
LICENSE-fsharp.txt

Stars

Watchers

Forks

Packages

No packages published

Languages

  • OCaml 60.2%
  • F# 35.3%
  • C 2.6%
  • Makefile 1.2%
  • JavaScript 0.4%
  • Standard ML 0.1%
  • Other 0.2%