A Framework for Proof-carrying Logical Transformations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Electronic Proceedings in Theoretical Computer Science Année : 2021

A Framework for Proof-carrying Logical Transformations

Dates et versions

hal-03349223 , version 1 (20-09-2021)

Identifiants

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⟩
64 Consultations
1 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More