Real theorem provers deserve real user-interfaces
Résumé
This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Rapport De Recherche Inria : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00076907
Soumis le : lundi 29 mai 2006-11:18:39
Dernière modification le : mercredi 15 mars 2023-08:58:08
Archivage à long terme le : lundi 5 avril 2010-21:22:54