All Categories → No Category → fstar

Top 1 fstar open source projects

A Proof-oriented Programming Language

✭ 2,171

ocaml F*F#forth shell python verification smt theorem-proving c-language fstar

1-1 of 1 fstar projects