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 : Thursday, February 14, 2019 - 3:44:04 PM
Long-term archiving on : 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

259

Files downloads

134