Il a été demandé aux étudiants du module de logique propositionnelle de la licence d'informatique de l'université Paris 7 de réaliser un testeur de validité en calcul propositionnel par la méthode des arbres de Beth.
L'énoncé (fichier PostScript compressé ".ps.gz", 24K)
Une réalisation possible en Caml-Light (fichier ".ml")
Contacter l'auteur: Hugo.Herbelin@inria.fr