Interface Xemacs du prouveur interactif Version Beta 1.7.3
Une nouvelle interface de preuve interactive a été développée
dans le cadre du projet MATISSE
(IST-1999-11435).
ClearSy, Dominique Mery et Dominique Cansell du
LORIA ainsi que Jean-Raymond Abrial, ont collaboré pour faire évoluer cette
interface, qui a abouti à cette nouvelle version
(V1.7.3).
ClearSy, au travers de ce développement conjoint, affirme sa volonté d'ouverture et de
collaboration et est ouvert à toute proposition relative à B, sa méthodologie
et son outillage. Notamment, des partenariats avec le monde universitaire
sont souhaités.
Cette interface est architecturée autour de Xemacs (v20.4 et 21.1) et l'Atelier
B (v3.5 et 3.6).
Il s'agit d'une version exploratoire de la nouvelle interface de preuve:
elle est donc fournie sans aucune garantie.