Abstract : 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.
https://hal.inria.fr/inria-00073145
Contributeur : Rapport de Recherche Inria
<>
Soumis le : mercredi 24 mai 2006 - 11:58:56
Dernière modification le : lundi 3 septembre 2018 - 10:56:02
Document(s) archivé(s) le : dimanche 4 avril 2010 - 21:42:32
