Skip to Main content Skip to Navigation
Conference papers

Heterogeneous Theorem Proving, Certification, and Integrated Automation

John Harrison 1 
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/hal-00677577
Contributor : Pascal Fontaine Connect in order to contact the contributor
Submitted on : Thursday, March 8, 2012 - 5:51:37 PM
Last modification on : Thursday, March 8, 2012 - 5:51:37 PM

Identifiers

  • HAL Id : hal-00677577, version 1

Collections

Citation

John Harrison. Heterogeneous Theorem Proving, Certification, and Integrated Automation. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. ⟨hal-00677577⟩

Share

Metrics

Record views

15