Synthèse Goéland
Synthèse bibliographique sur prouveur automatique Goéland.
2023
Historique de la logique
Travail épistémologique sur un historique rapide de la logique.
2025
Micro-managers avec l'IA
Mémoire de master à l'Institut de l'Administration des Entreprises (IAE) Montpellier.
2026
Génération de prouveurs automatiques pour la logique modale avec PGeon
Mémoire de master au département informatique de la faculté des sciences de Montpellier.
2026