Isabelle (logiciel)

Isabelle (logiciel)
Page d'aide sur l'homonymie Pour les articles homonymes, voir Isabelle.

Le logiciel Isabelle est un assistant de preuve, c'est-à-dire un démonstrateur interactif de théorèmes. C'est le successeur de HOL.

C’est un logiciel libre publié sous licence BSD.

Liens externes


Wikimedia Foundation. 2010.

Contenu soumis à la licence CC-BY-SA. Source : Article Isabelle (logiciel) de Wikipédia en français (auteurs)

Игры ⚽ Нужно решить контрольную?

Regardez d'autres dictionnaires:

  • Alceste (logiciel) — Pour les articles homonymes, voir Alceste (homonymie). Alceste est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu à l origine par Max Reinert du CNRS en France dans le laboratoire de Jean Paul… …   Wikipédia en Français

  • Alceste (Logiciel) — Pour les articles homonymes, voir Alceste (homonymie). Alceste est un logiciel d analyse de données textuelles ou de statistique textuelle. Le logiciel a été conçu à l origine par Max Reinert du CNRS en France dans le laboratoire de Jean Paul… …   Wikipédia en Français

  • Coq (Logiciel) — Coq est un assistant de preuve développé à l INRIA, à l École polytechnique et à l Université de Paris XI (et antérieurement à l École normale supérieure de Lyon) dans le cadre du projet TypiCal. Caractéristiques du logiciel Coq est fondé sur le… …   Wikipédia en Français

  • Coq (logiciel) — Pour les articles homonymes, voir Coq (homonymie). Coq (logiciel) …   Wikipédia en Français

  • Collections Presse des éditions Atlas — Éditions Atlas se targue de publier des encyclopédies par fascicules vendues chez les marchands de journaux depuis 1975. Parmi ces publications figurent L encyclopédie Atlas de la médecine[1] ainsi qu une série de livres de la collection La… …   Wikipédia en Français

  • Arthur Rimbaud — « Rimbaud » redirige ici. Pour les autres significations, voir Rimbaud (homonymie). Arthur Rimbaud …   Wikipédia en Français

  • Assistant de preuve — En informatique (ou en mathématiques assistées par informatique), un assistant de preuve est un logiciel permettant l écriture et la vérification de preuves mathématiques, soit sur des théorèmes au sens usuel des mathématiques, soit sur des… …   Wikipédia en Français

  • Secret of Evermore — Éditeur Squaresoft Développeur Square USA Concepteur …   Wikipédia en Français

  • Actrice de voix — Doublage Pour les articles homonymes, voir Doublage (homonymie). Le doublage est une technique consistant à substituer aux voix des comédiens d une œuvre audiovisuelle (film, feuilleton...), les voix de comédiens s exprimant dans une autre langue …   Wikipédia en Français

  • Base de données — Pour les articles homonymes, voir base, BD, BDD et DB. modèle de données de la base de données de MediaWiki …   Wikipédia en Français

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”