Retour à la page principale

Développement d’un moteur de preuves pour la logique classique propositionnelle

Projet réalisé dans le cadre de ma L3 Informatique à l’Université de Montpellier. Ce projet à été réalisé en groupe avec 3 autres étudiants.

Le projet :

L’objectif de ce projet est de permettre à un utilisateur de résoudre une preuve logique étape par étape sous la forme d’un arbre.

Lien vers la présentation du projet

---

Lien vers le rapport final du projet