Conference Papers
Electronic Proceedings in Theoretical Computer Science
Year : 2021
Quentin Garchery : Connect in order to contact the contributor
https://hal.science/hal-03349223
Submitted on : Monday, September 20, 2021-1:09:53 PM
Last modification on : Friday, March 24, 2023-2:53:22 PM
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⟩
Collections
49
View
1
Download