Real theorem provers deserve real user-interfaces
Abstract
This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments
Reports
(Research Report)
Year : 1992
Rapport De Recherche Inria : Connect in order to contact the contributor
https://inria.hal.science/inria-00076907
Submitted on : Monday, May 29, 2006-11:18:39 AM
Last modification on : Wednesday, March 15, 2023-8:58:08 AM
Long-term archiving on: Monday, April 5, 2010-9:22:54 PM
Dates and versions
Identifiers
- HAL Id : inria-00076907 , version 1
Cite
Laurent Théry, Yves Bertot, Gilles Kahn. Real theorem provers deserve real user-interfaces. [Research Report] RR-1684, INRIA. 1992. ⟨inria-00076907⟩
Collections
111
View
320
Download