A Proof-oriented Programming Language
programming-language
dependent-types
ocaml
theorem-proving
verification
f-sharp
proof-assistant
smt
c-language
fstar
-
Updated
Dec 5, 2022 - F*