Heterogeneous Theorem Proving, Certification, and Integrated Automation

John Harrison 1
Type de document :
Communication dans un congrès
Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011
Liste complète des métadonnées

https://hal.inria.fr/hal-00677577
Contributeur : Pascal Fontaine <>
Soumis le : jeudi 8 mars 2012 - 17:51:37
Dernière modification le : jeudi 8 mars 2012 - 17:51:37

Identifiants

  • HAL Id : hal-00677577, version 1

Collections

Citation

John Harrison. Heterogeneous Theorem Proving, Certification, and Integrated Automation. Pascal Fontaine and Aaron Stump. First International Workshop on Proof eXchange for Theorem Proving - PxTP 2011, Aug 2011, Wrocław, Poland. 2011. 〈hal-00677577〉

Partager

Métriques

Consultations de la notice

18