Alternatives to Agda 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
  • F* icon

    F*

    F* is an ML-like functional programming language aimed at program verification. F* can express precise specifications for programs, including functional correctness...

    Open Source Mac Windows Linux Web / Cloud

    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
Know any alternatives we haven't listed?
We want more alternatives to Agda. Feel free to add any alternative that you know of, or ask your friends on  Twitter or Facebook if they can help out.

Agda Comments

Echo echo ... Feels empty in here

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