GitHub repository: FrancoisAlHaddad/PTUT-S4
Primary language: C++
Description: Projet tutoré S4 - Le but de ce projet est la réalisation en C++ d'un démonstrateur à tableaux analytiques pour la logique propositionnelle.