Yazılım
3 ücretsiz ve ücretli Agda alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Isabelle, Coq. Bunların yanı sıra, kullanıcılar Agda ile F* arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Geliştirme Yazılımı, Programlama Dilleri.
3 ücretsiz ve ücretli Agda alternatiflerinin bir listesini derledik. Başlıca rakipler şunları içerir: Isabelle, Coq. Bunların yanı sıra, kullanıcılar Agda ile F* arasında karşılaştırmalar da yaparlar. Ayrıca burada diğer benzer seçeneklere de göz atabilirsiniz: Geliştirme Yazılımı, Programlama Dilleri.
Isabelle, bilgisayar üzerinde matematiksel kanıtları yazmak ve kontrol etmek için bir kanıt asistanıdır.
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
Ağda, bağımlı bir şekilde yazılan işlevsel bir programlama dilidir. Endüktif aileleri vardır, yani
Linux
Mac
Windows
Ağda, bağımlı bir şekilde yazılan işlevsel bir programlama dilidir. Endüktif ailelere, yani belirli bir uzunlukta vektörlerin tipi gibi değerlere bağlı veri tiplerine sahiptir. Ayrıca, programcıya program yazmasında yardımcı olabilecek parametrik modüller, mixfix operatörleri, Unicode karakterler ve etkileşimli Emacs arayüzüne sahiptir.
Ağda ispat asistanıdır. Provaları yazmak ve kontrol etmek için kullanılan etkileşimli bir sistemdir. Agda, İsveçli mantıkçı Per Martin-Löf tarafından geliştirilen yapısal matematiğin temelini oluşturan sezgisel tip teorisine dayanmaktadır. Coq, Epigram, Matita ve NuPRL gibi bağımlı türlere bağlı olarak diğer ispat asistanlarıyla birçok benzerliği vardır.
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?
