Real Theorem Provers Deserve Real User-Interfaces (1992)
by
Laurent Thery
,
Yves Bertot
,
Gilles Kahn
| Citations: | 54 - 5 self |
BibTeX
@INPROCEEDINGS{Thery92realtheorem,
author = {Laurent Thery and Yves Bertot and Gilles Kahn},
title = {Real Theorem Provers Deserve Real User-Interfaces},
booktitle = {},
year = {1992},
pages = {120--129},
publisher = {}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
This paper explains how to add a modern user interface to existing theorem provers, using principles and tools designed for programming environments.
