F*

    F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness properties. Programs written in F* can be translated to OCaml or F# for execution.

    • FreeOpen Source
    • Mac
    • Windows
    • Linux
    • Online
    ...

    Recent user activities on F*

    No activities found.