Lean Programming Language alternatifleri
Lean Programlama Dili, güvenilir kod ve biçimsel matematiksel ispatlar oluşturmak için tasarlanmış, ücretsiz ve açık kaynaklı bir sistemdir. Çekirdek işlevselliği, yazılım ve donanım doğrulama görevlerinde kesinliği sağlamak için küçük, doğrulanmış bir bileşene odaklanır. Sistem, kullanıcıların gelişmiş uygulamalar için dilin kendisini özelleştirmesine ve özel gösterimler eklemesine olanak tanıyan genişletilebilirlik önceliği verir.