Skip to Main content Skip to Navigation
Conference papers

A Framework for Proof-carrying Logical Transformations

Quentin Garchery 1
1 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations
Inria Saclay - Ile de France, LMF - Laboratoire Méthodes Formelles
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-03349223
Contributor : Quentin Garchery Connect in order to contact the contributor
Submitted on : Monday, September 20, 2021 - 1:09:53 PM
Last modification on : Friday, January 21, 2022 - 3:12:28 AM

Links full text

Identifiers

Citation

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⟩

Share

Metrics

Les métriques sont temporairement indisponibles