Lean Programming Language alternatives

Lean Programming Language is an open-source app for Visual Studio Code. It is free to use. Developed by Lean FRO.

Alternatives

• Rocq Prover
• Isabelle
• Agda