Publisher
Springer Berlin Heidelberg
Reference22 articles.
1. Janet Bertot and Yves Bertot. CtCoq: A system presentation. In Automated Deduction (CADE-13), volume 1104 of Lecture Notes in Artificial Intelligence, pages 231–234. Springer-Verlag, July 1996.
2. Yves Bertot, Gilles Kahn, and Laurent Théry. Proof by pointing. In Theoretical Aspects of Computer Software, volume 789 of Lecture Notes in Computer Science, pages 141–160, 1994.
3. Yves Bertot, Thomas Schreiber, and Dilip Sequeira. Proof by pointing in a weakly structured context. ftp://ftp.dcs.ed.ac.uk/pub/lego/pbp/main.ps.
4. Yves Bertot and Laurent Théry. A generic approach to building user interfaces for theorem provers. To appear in Journal of Symbolic Computation.
5. Patrick Borras, Dominique Clément, Thierry Despeyroux, Janet Incerpi, Gilles Kahn, Bernard Lang, and Valérie Pascual. Centaur: the system. In Third Symposium on Software Development Environments, 1988. (Also appears as INRIA Report no. 777).