![](/statics/img/blank.png)
Lurch 0.4
Lisans: Ücret -siz Dosya boyutu: N/A
Kullanıcı Derecelendirmesi: 3.0/5 - 1 Oy
Lütfen bekleyin... İndirme bağlantınız kötü amaçlı içerik için doğrulanıyor.
5 saniye içinde indirebilirsiniz.
5 saniye içinde indirebilirsiniz.
Hakkı -nda Lurch
Matematiksel kanıtları öğretmek ve öğrenmek için yazılım Çoğu matematiksel kanıt yazılımı resmi mantık (veya matematiğin diğer bazı özel alan) üzerinde yoğunlaşan nerede, Lurch gerçekten genel amaçlı olmayı amaçlamaktadır, bir attracitve kullanıcı arayüzü ile.