On présente des outils simples pour l'enseignement de la logique.
Ces logiciels sont mis à la disposition de tous, avec l'appui du laboratoire VERIMAG.
Dernière modification : 18-Jan-2018