Lean Programming Language AlternativesProgramming Languages and other similar apps like Lean Programming Language

Apps similar to Lean Programming Language include Rocq Prover, which is free and open source. Other options are Isabelle and Agda. In total there are three Programming Languages like Lean Programming Language for Mac, Windows and Linux.

More about Lean Programming Language
Copy a direct link to this comment to your clipboard
Alternatives
Lean Programming Language alternatives page was last updated

Alternatives list

  1. Rocq Prover icon

    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

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    • FR flagFrance
    • European Union flagEU
    Rocq's highly expressive type system and proof language enable fully mechanised verification of programs with respect to strong specifications in a wide variety of languages.
    Good alternative?
     
  2. Isabelle icon

    Isabelle

     3 likes

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

    Cost / License

    • Free
    • Open Source

    Platforms

    • Mac
    • Windows
    • Linux
    • Global
    Isabelle screenshot 1
    Good alternative?
     
  4. Agda icon

    Agda

     2 likes

    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 length. It also has parametrised modules, mixfix operators, Unicode characters, and an interactive Emacs...

    Cost / License

    • Free
    • Open Source

    Application type

    Platforms

    • Mac
    • Windows
    • Linux
    Good alternative?
     
3 of 3 Lean Programming Language alternatives