Isabelle

Isabelle est assistante d'épreuves pour la rédaction et la vérification d'épreuves mathématiques par ordinateur.

Gratuite
Windows
Mac
Linux

Isabelle est assistante d'épreuves pour la rédaction et la vérification d'épreuves mathématiques par ordinateur.Il permet d'exprimer des formules mathématiques dans un langage formel et fournit des outils pour prouver ces formules dans un calcul logique.

isabelle

Site Internet:

http://www.cl.cam.ac.uk/research/hvg/Isabelle/

Les catégories

Éducation et référence

Alternatives à Isabelle pour toutes les plateformes avec licence open source