Logiciel
Nous avons compilé une liste de 3 alternatives gratuites et payantes à Isabelle. Les principaux concurrents incluent Coq, F*. En plus de cela, les utilisateurs établissent également des comparaisons entre Isabelle et Agda. Vous pouvez également consulter d'autres choix similaires ici : Logiciel d'éducation et de référence.
Nous avons compilé une liste de 3 alternatives gratuites et payantes à Isabelle. Les principaux concurrents incluent Coq, F*. En plus de cela, les utilisateurs établissent également des comparaisons entre Isabelle et Agda. Vous pouvez également consulter d'autres choix similaires ici : Logiciel d'éducation et de référence.
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
Isabelle est une assistante de preuve pour l'écriture et la vérification d'épreuves mathématiques par ordinateur.
Isabelle est une assistante de preuve pour l'écriture et la vérification d'épreuves mathématiques par ordinateur.
Linux
Mac
Windows
Isabelle est une assistante de preuve pour l'écriture et la vérification d'épreuves mathématiques par ordinateur.
Il permet aux formules mathématiques d'être exprimées dans un langage formel et fournit des outils pour prouver ces formules dans un calcul logique.
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?
