Pom

Preuves en Coq pour la récriture de requêtes
Écriture d’une bibliothèque de récriture de requêtes dont certaines propriétés sont prouvées en Coq