Communication Dans Un Congrès
Electronic Proceedings in Theoretical Computer Science
Année : 2021
Quentin Garchery : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03349223
Soumis le : lundi 20 septembre 2021-13:09:53
Dernière modification le : vendredi 17 mai 2024-16:22:05
Citer
Quentin Garchery. A Framework for Proof-carrying Logical Transformations. Proof eXchange for Theorem Proving, 2021, Virtual, United States. pp.5-23, ⟨10.4204/EPTCS.336.2⟩. ⟨hal-03349223⟩
Collections
70
Consultations
1
Téléchargements