Communication Dans Un Congrès
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 : jeudi 28 novembre 2024-15:48:02
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
79
Consultations
1
Téléchargements