Yazılım
3 ücretsiz ve ücretli Isabelle alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Coq, F*. Bunların yanı sıra, kullanıcılar Isabelle ile Agda arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Eğitim ve Referans Yazılımı.
3 ücretsiz ve ücretli Isabelle alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Coq, F*. Bunların yanı sıra, kullanıcılar Isabelle ile Agda arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Eğitim ve Referans Yazılımı.
Coq, titiz ve resmi olarak matematiksel provalar yazmanıza izin veren bir prova asistanıdır ...
F *, program doğrulamayı amaçlayan, ML benzeri bir işlevsel programlama dilidir.
Ağda, bağımlı bir şekilde yazılan işlevsel bir programlama dilidir. Endüktif aileleri vardır, yani
Isabelle, bilgisayar üzerinde matematiksel kanıtları yazmak ve kontrol etmek için bir kanıt asistanıdır.
Isabelle, bilgisayar üzerinde matematiksel kanıtları yazmak ve kontrol etmek için bir kanıt asistanıdır.
Linux
Mac
Windows
Isabelle, bilgisayar üzerinde matematiksel kanıtları yazmak ve kontrol etmek için bir kanıt asistanıdır.
Matematiksel formüllerin resmi bir dilde ifade edilmesini sağlar ve bu formülleri mantıksal bir hesapta kanıtlamak için araçlar sağlar.
Yazılım hakkındaki görüşlerinizi paylaşın, bir inceleme bırakın ve daha da iyileştirmeye yardımcı olun!
Değişiklik Önerin
Geri bildiriminiz
Your vote has been counted.
Do you have experience using this software?
