A Framework for Proof-carrying Logical Transformations - Archive ouverte HAL Access content directly
Conference Papers Electronic Proceedings in Theoretical Computer Science Year : 2021

A Framework for Proof-carrying Logical Transformations

Dates and versions

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

Identifiers

Cite

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⟩
49 View
1 Download

Altmetric

Share

Gmail Facebook Twitter LinkedIn More