Alternatives to F* for all platforms with any license

  • Coq

    Coq is a proof assistant, which allows you to write mathematical proofs in a rigorous and formal way, and have them checked for correctness by the computer. It also...

    Free Open Source Mac OS X Windows Linux

    No features added Add a feature

    Coq icon
  • Isabelle

    Isabelle is a proof assistant for writing and checking mathematical proofs by computer. It allows mathematical formulas to be expressed in a formal language and...

    Free Open Source Mac Windows Linux

    No features added Add a feature

    Isabelle icon
  • Agda

    Agda is a dependently typed functional programming language. It has inductive families, i.e., data types which depend on values, such as the type of vectors of a given...

    Free Open Source Mac OS X Windows Linux

    No features added Add a feature

    Agda icon
  • Know any more alternatives to F*?

    Suggest an application to this list

Platforms

Show 4 less popular platforms

F* Comments

Echo echo ... Feels empty in here

Maybe you want to be the first to submit a comment about F*? Just click the button up to your right!