Adaptations de l'algorithme d'unification de Rocq
Il s'agit adapter l'algorithme d'unification de Rocq pour améliorer
les performances et ajouter des fonctionalités
Groupe de travail du 2 décembre au 6 décembre 2024
Tâche 3 : Structures, inference, and hierarchies
Participants
- Cyril Cohen
- Gaëtan Gilbert
- Assia Mahboubi
- Matthieu Sozeau
- Enrico Tassi
- Quentin Vermande