Conference Papers
Year : 2011
Pascal Fontaine : Connect in order to contact the contributor
https://inria.hal.science/hal-00677577
Submitted on : Thursday, March 8, 2012-5:51:37 PM
Last modification on : Thursday, March 8, 2012-5:51:37 PM
Dates and versions
Identifiers
- HAL Id : hal-00677577 , version 1
Cite
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⟩
Collections
21
View
0
Download