The CtCoq System: Design and Architecture

We present issues that arose in the design of the CtCoq user-interface for proof development. Covered issues include multi-processing, data display, mouse interaction, and script management.

Data and Resources

Additional Info

Field Value
Source https://inria.hal.science/inria-00073145
Author Bertot, Yves
Maintainer CCSD
Last Updated November 3, 2026, 16:38 (UTC)
Created November 3, 2026, 16:38 (UTC)
Identifier Report N°: RR-3540
Language en
Rights https://about.hal.science/hal-authorisation-v1/
contributor Design and Implementation of Programming Tools (CROAP) ; Centre Inria d'Université Côte d'Azur ; Institut National de Recherche en Informatique et en Automatique (Inria)-Institut National de Recherche en Informatique et en Automatique (Inria)
creator Bertot, Yves
date 1998-10-03T00:00:00
harvest_object_id eccaed5c-0142-4c46-8ad6-2e91d32374ba
harvest_source_id 3374d638-d20b-4672-ba96-a23232d55657
harvest_source_title test moissonnage SELUNE
metadata_modified 2025-08-26T00:00:00
set_spec type:REPORT