Agda AlternativesProgramming Languages and other similar apps like Agda

Alternatives list

1. 

   

   Lean Programming Language

    1 like

   Lean is an open-source programming language and proof assistant that enables correct, maintainable, and formally verified code.

   Cost / License

   • Free
   • Open Source (Apache-2.0)

   Application type

   • Programming Language

   Origin

   • United States

   Platforms

   • Visual Studio Code

   • United States

   

   

   More about Lean Programming Language  

   

   Good alternative?Is this a good alternative to Agda?

    
2. 

   

   F*

    3 likes

   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.

   Cost / License

   • Free
   • Open Source

   Application type

   • Programming Language

   Platforms

   • Mac
   • Windows
   • Linux
   • Online

   

   More about F*  

   

   Good alternative?Is F* a good alternative to Agda?

    
4. 

   

   Rocq Prover

    4 likes

   A trustworthy, industrial-strength interactive theorem prover and dependently-typed programming language for mechanised reasoning in mathematics, computer science and more.

   Cost / License

   • Free
   • Open Source (LGPL-2.1)

   Application type

   • Programming Language

   Origin

   • France
   • EU

   Platforms

   • Mac
   • Windows
   • Linux

   • France
   • EU

   

   

   

   More about Rocq Prover  

   

   Good alternative?Is Rocq Prover a good alternative to Agda?

    
5. 

   

   Isabelle

    3 likes

   Isabelle is a proof assistant for writing and checking mathematical proofs by computer.

   Cost / License

   • Free
   • Open Source

   Origin

   • International

   Platforms

   • Mac
   • Windows
   • Linux

   • Global

   

   More about Isabelle  

   

   Good alternative?Is Isabelle a good alternative to Agda?