PxTP 2021 - Seventh Workshop on Proof eXchange for Theorem Proving
Origine : Fichiers éditeurs autorisés sur une archive ouverte