The CtCoq System: Design and Architecture

Yves Bertot (1)

1 CROAP - Design and Implementation of Programming Tools

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.

Mots clés: AUTOMATIC PROOF; INTERACTIVE PROOF DEVELOPMENT; GRAPHICAL USER INTERFACES; CTCOQ; PROOF BY POINTING

Domaines: Autre [cs.OH]

Yves Bertot. The CtCoq System: Design and Architecture. RR-3540, INRIA. 1998. ⟨inria-00073145⟩