Précédent : Description textuelle des preuves Remonter : Environnements de preuve Suivant : Sémantique et preuves

Un environnement léger pour Alf

Participante : Lena Magnusson

Nous avons travaillé à la construction d'un environnement de travail léger pour Alf, qui consiste en quelques centaines de lignes de configuration pour l'éditeur de texte Xemacs. Cette interface a quelques traits en commun avec l'interface graphique de Alf et avec CtCoq : affichage structuré sensible à la souris, séparation des entrées et sorties.