Logiciel
Nous avons compilé une liste de 3 alternatives gratuites et payantes à Agda. Les principaux concurrents incluent Isabelle, Coq. En plus de cela, les utilisateurs établissent également des comparaisons entre Agda et F*. Vous pouvez également consulter d'autres choix similaires ici : Logiciel de développement, Langages de programmation.
Nous avons compilé une liste de 3 alternatives gratuites et payantes à Agda. Les principaux concurrents incluent Isabelle, Coq. En plus de cela, les utilisateurs établissent également des comparaisons entre Agda et F*. Vous pouvez également consulter d'autres choix similaires ici : Logiciel de développement, Langages de programmation.
Isabelle est une assistante de preuve pour l'écriture et la vérification d'épreuves mathématiques par ordinateur.
Coq est un assistant de preuve qui vous permet d'écrire des preuves mathématiques de manière rigoureuse et formelle.
F * est un langage de programmation fonctionnel de type ML destiné à la vérification de programme.
Agda est un langage de programmation fonctionnel typé de manière dépendante. Il a des familles inductives, à savoir
Agda est un langage de programmation fonctionnel typé de manière dépendante. Il a des familles inductives, à savoir
Linux
Mac
Windows
Agda est un langage de programmation fonctionnel typé de manière dépendante. Il a des familles inductives, c'est-à-dire des types de données qui dépendent de valeurs, telles que le type de vecteurs d'une longueur donnée. Il a également des modules paramétrés, des opérateurs de mixfix, des caractères Unicode et une interface interactive Emacs qui peut aider le programmeur à écrire le programme.
Agda est un assistant de preuve. C'est un système interactif d'écriture et de vérification des preuves. Agda est basé sur la théorie des types intuitionnistes, un système fondamental pour les mathématiques constructives développé par le logicien suédois Per Martin-Löf. Il présente de nombreuses similitudes avec d'autres assistants de preuve basés sur des types dépendants, tels que Coq, Epigram, Matita et NuPRL.
Partagez votre opinion sur le logiciel, laissez un avis et contribuez à l'améliorer encore davantage !
Proposer des changements
Vos commentaires
Your vote has been counted.
Do you have experience using this software?
