Sortie de la version de maintenance 4.5.5 de l’Atelier B

L’Atelier B 4.5.5 Maintenance édition est disponible au téléchargement.
Cette version corrige notamment une anomalie présente depuis les premières versions du prouveur.
Cette anomalie est liée à l’instanciation des hypothèses quantifiées universellement, la protection contre la capture de variables libres était incomplète.
Ceci pouvait conduire à des preuves incorrectes dans des conditions particulières.