Lean Programming Language alternatifleri

Lean Programming Language, Visual Studio Code için açık kaynak bir uygulamadır. Ücretsiz kullanılabilir. Geliştiren: Lean FRO.

Alternatifler

• Rocq Prover
• Isabelle
• Agda