Real theorem provers deserve real user-interfaces

Laurent Thery 1 Yves Bertot 1 Gilles Kahn 1
1 CROAP - Design and Implementation of Programming Tools
CRISAM - Inria Sophia Antipolis - Méditerranée
Abstract : This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments
Type de document :
Rapport
[Research Report] RR-1684, INRIA. 1992
Liste complète des métadonnées

https://hal.inria.fr/inria-00076907
Contributeur : Rapport de Recherche Inria <>
Soumis le : lundi 29 mai 2006 - 11:18:39
Dernière modification le : lundi 3 septembre 2018 - 10:56:02
Document(s) archivé(s) le : lundi 5 avril 2010 - 21:22:54

Fichiers

Identifiants

  • HAL Id : inria-00076907, version 1

Collections

Citation

Laurent Thery, Yves Bertot, Gilles Kahn. Real theorem provers deserve real user-interfaces. [Research Report] RR-1684, INRIA. 1992. 〈inria-00076907〉

Partager

Métriques

Consultations de la notice

179

Téléchargements de fichiers

101