Skip to Main content Skip to Navigation
Reports

Real theorem provers deserve real user-interfaces

Laurent Théry 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
Document type :
Reports
Complete list of metadatas

https://hal.inria.fr/inria-00076907
Contributor : Rapport de Recherche Inria <>
Submitted on : Monday, May 29, 2006 - 11:18:39 AM
Last modification on : Wednesday, January 8, 2020 - 11:04:18 AM
Document(s) archivé(s) le : Monday, April 5, 2010 - 9:22:54 PM

Identifiers

  • HAL Id : inria-00076907, version 1

Collections

Citation

Laurent Théry, Yves Bertot, Gilles Kahn. Real theorem provers deserve real user-interfaces. [Research Report] RR-1684, INRIA. 1992. ⟨inria-00076907⟩

Share

Metrics

Record views

278

Files downloads

193