Alternatives to F* for all platforms with any license

Platforms

Show 4 less popular platforms
  • Coq icon

    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...

    Open Source Mac Windows Linux

    No features added Add a feature
  • Agda 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...

    Open Source Mac Windows Linux

    No features added Add a feature
  • Isabelle 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...

    Open Source Mac Windows Linux

    No features added Add a feature

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!