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 metadata

https://hal.inria.fr/inria-00076907
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Monday, May 29, 2006 - 11:18:39 AM
Last modification on : Friday, February 4, 2022 - 3:16:03 AM
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

105

Files downloads

262