CtCoq: A system presentation

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1104, Issue , 1996, Pages 231-234

  Bertot, Janet ^a   Bertot, Yves ^a  

^a INRIA   (France)

Author keywords

Application; System presentation

Indexed keywords

APPLICATIONS; AUTOMATION; CHARACTER SETS; GRAPHICAL USER INTERFACES; USER INTERFACES;

DIRECT MANIPULATION; DISTRIBUTED ARCHITECTURE; GRAPHICAL INTERFACE; MATHEMATICAL NOTATIONS; PROOF BY POINTING; PROOF SYSTEM; SYSTEM PRESENTATION;

THEOREM PROVING;

EID: 0343444133     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61511-3_85     Document Type: Conference Paper

References (3)

1. P. Borras, D. Clement, T. Despeyroux, J. Incerpi, G. Kahn, B. Lang, and V. Pascual. Centaur: the system. In Third Symposium on Software Development Environments, 1988. (Also appears as INRIA Report no. 777).
2. D. Clement. A distributed architecture for programming environments. Software Engineering Notes, 15(5), 1990. Proceedings of the 4th Symposium on Software Development Environments.
3. C. Comes, J. Courant, J.-C. Filliâtre, G. Huet, P. Manoury, C. Muñoz, C. Murthy, C. Parent, C. Paulin-Mohring, A. Saïbi, and B. Werner. The Coq Proof Assistant User's Guide. INRIA, May 1995. Version 5.10.